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 |