NEWS
changeset 55316 885500f4aa6a
parent 55315 54b0352fb46d
child 55385 169e12bbf9a3
--- a/NEWS	Tue Feb 04 01:35:48 2014 +0100
+++ b/NEWS	Tue Feb 04 09:04:59 2014 +0000
@@ -37,6 +37,10 @@
 process, without requiring old-fashioned command-line invocation of
 "isabelle jedit -m MODE".
 
+* New panel: Simplifier trace.  Provides an interactive view of the
+simplification process, enabled by the newly-introduced
+"simplifier_trace" declaration.
+
 
 *** Pure ***