| Tue, 28 Sep 2010 20:49:39 +0200 | wenzelm | tuned default perspective; | file | diff | annotate |
| Tue, 10 Aug 2010 12:08:24 +0200 | wenzelm | clarified JEDIT_JAVA_OPTIONS vs. JEDIT_SYSTEM_OPTIONS -- discontinued JEDIT_APPLE_PROPERTIES; | file | diff | annotate |
| Tue, 12 Jan 2010 17:06:36 +0100 | wenzelm | tuned initial properties/perspective; | file | diff | annotate |
| Tue, 12 Jan 2010 16:51:51 +0100 | wenzelm | provide JEDIT_SETTINGS via settings; | file | diff | annotate |
| 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 |