| 2011-09-10 | wenzelm | 2011-09-10 | simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool); | file | diff | annotate |
| 2011-06-25 | wenzelm | 2011-06-25 | CLASSPATH already converted in isabelle java wrapper; | file | diff | annotate |
| 2011-06-23 | wenzelm | 2011-06-23 | provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes); | file | diff | annotate |
| 2010-11-16 | wenzelm | 2010-11-16 | more robust determination of java executable; | file | diff | annotate |
| 2010-01-06 | wenzelm | 2010-01-06 | simplified build/bootstrap of Isabelle/Scala components -- avoid make; | file | diff | annotate |
| 2009-07-03 | wenzelm | 2009-07-03 | allow reloading of settings within JVM process; | file | diff | annotate |
| 2009-07-03 | wenzelm | 2009-07-03 | isabelle.home: native jvmpath; | file | diff | annotate |
| 2009-07-03 | wenzelm | 2009-07-03 | Generic Isabelle application wrapper. | file | diff | annotate |