src/Pure/Tools/simplifier_trace.scala
Mon, 21 Jul 2014 16:58:12 +0200 wenzelm proper Swing buttons instead of active areas within text (by Lars Hupel);
Tue, 29 Apr 2014 13:32:13 +0200 wenzelm more systematic Isabelle output, like in classic Isabelle/ML (without markup);
Fri, 25 Apr 2014 13:29:56 +0200 wenzelm replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
less more (0) -10 -3 tip