| Sat, 14 Apr 2012 14:36:36 +0200 | wenzelm | more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME; | file | diff | annotate |
| 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); | file | diff | annotate |
| 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 |
| Tue, 04 Oct 2011 14:51:51 +0200 | wenzelm | more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion; | file | diff | annotate |
| Thu, 23 Jun 2011 16:10:22 +0200 | wenzelm | provide Isabelle/Scala environment as Java extension, instead of user classpath | file | diff | annotate |