| changeset 57597 | 5c3484b90d5c |
| parent 57591 | 8c095aef6769 |
| child 57637 | eeb2d50ec71f |
--- a/NEWS Mon Jul 21 18:04:08 2014 +0200 +++ b/NEWS Mon Jul 21 20:57:47 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.