[isabelle-dev] NEWS: interactive simplifier trace
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
Note that the previous "simp_trace" declaration continues to be
To make use of the new tracing facility, the declaration
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...
Size: 208698 bytes
Desc: not available
More information about the isabelle-dev