| Tue, 07 Mar 2023 23:24:40 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Thu, 20 Oct 2022 17:05:06 +0200 | wenzelm | more informative errors, with optional exception trace as in Command_Line.tool; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Mon, 21 Mar 2022 11:55:51 +0100 | wenzelm | clarified module name; | file | diff | annotate | base |
| Fri, 06 Sep 2013 17:26:58 +0200 | wenzelm | prefer Isabelle/Scala over bash; | file | diff | annotate |
| Fri, 06 Sep 2013 17:20:48 +0200 | wenzelm | prefer Isabelle/Scala over bash; | file | diff | annotate |
| Fri, 06 Sep 2013 17:01:49 +0200 | wenzelm | prefer warm start via JEdit_Main; | file | diff | annotate |
| Thu, 04 Apr 2013 18:06:48 +0200 | wenzelm | tuned signature -- concentrate GUI tools; | file | diff | annotate |
| Wed, 26 Sep 2012 23:30:19 +0200 | wenzelm | some support for jEdit warmstart; | file | diff | annotate |