| Sun, 20 Aug 2017 20:38:37 +0200 | wenzelm | reinit the manager thread, e.g. after restart of the Isabelle/jEdit plugin; | file | diff | annotate |
| Tue, 14 Mar 2017 00:13:38 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 14 Mar 2017 00:09:15 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |
| Mon, 05 Sep 2016 22:09:52 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 21 Jul 2014 16:58:12 +0200 | wenzelm | proper Swing buttons instead of active areas within text (by Lars Hupel); | file | diff | annotate |
| Tue, 29 Apr 2014 13:32:13 +0200 | wenzelm | more systematic Isabelle output, like in classic Isabelle/ML (without markup); | file | diff | annotate |