| Tue, 16 Nov 2010 22:13:54 +0100 | more robust determination of java executable; | file | diff | annotate |
| Wed, 06 Jan 2010 20:00:22 +0100 | simplified build/bootstrap of Isabelle/Scala components -- avoid make; | file | diff | annotate |
| Fri, 03 Jul 2009 00:15:59 +0200 | allow reloading of settings within JVM process; | file | diff | annotate |
| Fri, 03 Jul 2009 00:06:40 +0200 | isabelle.home: native jvmpath; | file | diff | annotate |
| Fri, 03 Jul 2009 00:02:07 +0200 | Generic Isabelle application wrapper. | file | diff | annotate |