Isabelle
2011-06-25 wenzelm 2011-06-25 CLASSPATH already converted in isabelle java wrapper;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2010-11-16 wenzelm 2010-11-16 more robust determination of java executable;
2010-01-06 wenzelm 2010-01-06 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
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.