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 |
Sun, 28 Nov 2010 18:31:54 +0100 | wenzelm | basic setup for bundled Java runtime; | file | diff | annotate |