| Tue, 12 Jan 2010 16:51:51 +0100 | wenzelm | provide JEDIT_SETTINGS via settings; | file | diff | annotate |
| Wed, 23 Dec 2009 20:35:47 +0100 | wenzelm | slightly larger stack size -- default seems to be as low as 256k; | file | diff | annotate |
| Fri, 11 Dec 2009 23:29:18 +0100 | wenzelm | more serious command line handling; | file | diff | annotate |
| Tue, 08 Dec 2009 12:09:17 +0100 | wenzelm | tuned JVM settings; | file | diff | annotate |
| Sat, 22 Aug 2009 23:24:15 +0200 | wenzelm | generalized settings; | file | diff | annotate |
| Sat, 22 Aug 2009 23:17:09 +0200 | wenzelm | Isabelle component; | file | diff | annotate |