| Sat, 24 Mar 2012 20:24:16 +0100 | wenzelm | ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); | file | diff | annotate |
| Mon, 07 Nov 2011 14:59:58 +0100 | wenzelm | offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables; | file | diff | annotate | base |