Isabelle
2010-01-06 ago simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2009-07-03 ago allow reloading of settings within JVM process;
2009-07-03 ago isabelle.home: native jvmpath;
2009-07-03 ago Generic Isabelle application wrapper.