| Fri, 08 Jan 2010 12:26:22 +0100 | wenzelm | define scala.home, for more robust startup of Scala tools, notably the compiler; | file | diff | annotate |
| Wed, 16 Dec 2009 14:40:31 +0100 | wenzelm | actually use JEDIT_JAVA_OPTIONS from settings, not ..._ARGS; | file | diff | annotate |
| Fri, 11 Dec 2009 23:29:18 +0100 | wenzelm | more serious command line handling; | file | diff | annotate |
| Tue, 01 Sep 2009 15:37:05 +0200 | wenzelm | option -d: enable debugger; | file | diff | annotate |
| Sat, 22 Aug 2009 23:17:09 +0200 | wenzelm | Isabelle component; | file | diff | annotate | base |