src/Tools/jEdit/src/simplifier_trace_window.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-05-21 wenzelm 2014-05-21 more uniform Font_Info.Zoom_Box; misc tuning and clarification;
2014-05-21 wenzelm 2014-05-21 added zoom box, like for outer output windows;
2014-05-21 wenzelm 2014-05-21 tuned signature;
2014-05-21 Lars Hupel 2014-05-21 remove stray println;
2014-05-19 Lars Hupel 2014-05-19 trace windows uses search feature of Pretty_Text_Area; recursive invocations and intermediate steps are now shown in order; refinements to the exclusion of uninteresting subtraces in the output
2014-04-29 wenzelm 2014-04-29 more systematic Isabelle output, like in classic Isabelle/ML (without markup);
2014-04-28 wenzelm 2014-04-28 mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
2014-04-26 wenzelm 2014-04-26 tuned;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-03-01 wenzelm 2014-03-01 tuned signature -- separate module Font_Info;
2014-02-18 wenzelm 2014-02-18 tuned imports;
2014-02-18 wenzelm 2014-02-18 more standard names for protocol and markup elements;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state