2010-11-16 | wenzelm | more robust determination of java executable; | file | diff | annotate |
2010-01-06 | wenzelm | simplified build/bootstrap of Isabelle/Scala components -- avoid make; | file | diff | annotate |
2009-07-02 | wenzelm | allow reloading of settings within JVM process; | file | diff | annotate |
2009-07-02 | wenzelm | isabelle.home: native jvmpath; | file | diff | annotate |
2009-07-02 | wenzelm | Generic Isabelle application wrapper. | file | diff | annotate |