Isabelle
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