Isabelle
2009-07-03 wenzelm 2009-07-03 allow reloading of settings within JVM process;
2009-07-03 wenzelm 2009-07-03 isabelle.home: native jvmpath;
2009-07-03 wenzelm 2009-07-03 Generic Isabelle application wrapper.