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