1.1 --- a/NEWS	Mon Jul 21 15:16:50 2014 +0200
     1.2 +++ b/NEWS	Mon Jul 21 16:04:45 2014 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4  "Detach" a copy where this makes sense.
     1.5  
     1.6  * New Simplifier Trace panel provides an interactive view of the
     1.7 -simplification process, enabled by the "simplifier_trace" attribute
     1.8 +simplification process, enabled by the "simp_trace_new" attribute
     1.9  within the context.
    1.10  
    1.11