| Sat, 09 Jun 2018 21:52:16 +0200 | wenzelm | clarified signature: more uniform theory_message (see also d7920eb7de54); | file | diff | annotate |
| Wed, 01 Nov 2017 15:32:07 +0100 | wenzelm | added isabelle jedit options -B, -P, clarified -R; | file | diff | annotate |
| Sun, 14 May 2017 17:05:06 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 15 Mar 2017 12:41:22 +0100 | wenzelm | more explicit options; | file | diff | annotate |
| Thu, 14 Apr 2016 12:08:38 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 23 Nov 2015 19:51:33 +0100 | wenzelm | clarified font: GUI defaults might change dynamically; | file | diff | annotate |
| Sat, 14 Nov 2015 18:37:49 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Tue, 03 Nov 2015 13:54:34 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 27 Oct 2015 23:18:32 +0100 | wenzelm | no icons here -- not a standalone window; | file | diff | annotate |
| Wed, 30 Sep 2015 23:54:22 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Wed, 30 Sep 2015 20:48:59 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Wed, 30 Sep 2015 14:37:21 +0200 | wenzelm | tuned message; | file | diff | annotate |
| Wed, 30 Sep 2015 14:32:26 +0200 | wenzelm | clarified modules; | file | diff | annotate |