[isabelle-dev] NEWS: interactive simplifier trace

[Lars Hupel]

 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 
 available.


 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>