[isabelle-dev] NEWS: interactive simplifier trace

Makarius makarius at sketis.net
Fri Mar 21 17:36:18 CET 2014


On Fri, 28 Feb 2014, Christian Sternagel wrote:

> Dear Lars,
>
> today I first tried using the new simplifier tracing facility (within 
> Isabelle/jEdit). I just started but have already some questions ;)

I am still delayed elsewhere, but before we enter the hot phase of the 
summer release, we should come back to this and see how the simplifier 
trace can be fine-tuned for general user consumption, without requiring 
too many explanations.


 	Makarius



More information about the isabelle-dev mailing list