NEWS
changeset 57594 8c095aef6769
parent 57532 c7dc1f0a2b8a
child 57637 eeb2d50ec71f
--- a/NEWS	Mon Jul 21 15:16:50 2014 +0200
+++ b/NEWS	Mon Jul 21 16:04:45 2014 +0200
@@ -116,7 +116,7 @@
 "Detach" a copy where this makes sense.
 
 * New Simplifier Trace panel provides an interactive view of the
-simplification process, enabled by the "simplifier_trace" attribute
+simplification process, enabled by the "simp_trace_new" attribute
 within the context.