[isabelle-dev] NEWS: interactive simplifier trace

[Makarius]

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