Isabelle
Sat, 25 Jun 2011 12:54:32 +0200 wenzelm CLASSPATH already converted in isabelle java wrapper;
Thu, 23 Jun 2011 16:10:22 +0200 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
Tue, 16 Nov 2010 22:13:54 +0100 wenzelm more robust determination of java executable;
Wed, 06 Jan 2010 20:00:22 +0100 wenzelm simplified build/bootstrap of Isabelle/Scala components -- avoid make;
Fri, 03 Jul 2009 00:15:59 +0200 wenzelm allow reloading of settings within JVM process;
Fri, 03 Jul 2009 00:06:40 +0200 wenzelm isabelle.home: native jvmpath;
Fri, 03 Jul 2009 00:02:07 +0200 wenzelm Generic Isabelle application wrapper.
less more (0) tip