src/Pure/Tools/simplifier_trace.scala
2014-07-21 wenzelm 2014-07-21 proper Swing buttons instead of active areas within text (by Lars Hupel);
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-25 wenzelm 2014-04-25 replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
2014-04-25 wenzelm 2014-04-25 tuned whitespace;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-04-02 wenzelm 2014-04-02 more explicit iterator terminology, in accordance to Scala 2.8 library; clarified Graph.keys_iterator vs. Graph.keys, with subtle change of semantics; tuned output;
2014-02-27 Lars Hupel 2014-02-27 removed bogus "error" message (it appeared during regular mode of operation)
2014-02-18 wenzelm 2014-02-18 prefer concrete list append;
2014-02-18 wenzelm 2014-02-18 more standard names for protocol and markup elements;
2014-02-11 Lars Hupel 2014-02-11 "no_memory" option for the simplifier trace to bypass memoization
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-12-12 wenzelm 2013-12-12 skeleton for Simplifier trace by Lars Hupel;