Mon, 26 Mar 2012 16:25:08 +0200 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Mon, 07 Nov 2011 14:59:58 +0100 wenzelm offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
less more (0) tip