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