[isabelle-dev] NEWS: interactive simplifier trace

Lars Hupel hupel at in.tum.de
Tue Feb 4 10:55:10 CET 2014

 As of Isabelle/885500f4aa6a:

   New panel: Simplifier trace.  Provides an interactive view of the
   simplification process, enabled by the newly-introduced
   "simplifier_trace" declaration.

 Note that the previous "simp_trace" declaration continues to be 

 To make use of the new tracing facility, the declaration

   [[simplifier_trace mode=full]]

 can be used. It produces (roughly) the same information as the old 
 trace. The trace isn't displayed in the "Output" panel though, but 
 rather in a "Trace window" which can be opened via the "Show trace" 
 button in the "Simplifier trace" panel. For some more details, refer to 
 the attached "user manual" (draft). It is an excerpt from my MSc thesis 
 and not yet incorporated into the main Isabelle documentation.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: manual.pdf
Type: application/pdf
Size: 208698 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140204/688b96ae/attachment-0001.pdf>

More information about the isabelle-dev mailing list