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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
