| Thu, 23 Aug 2012 21:23:14 +0200 | wenzelm | simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component; | file | diff | annotate |
| Sat, 14 Apr 2012 14:36:36 +0200 | wenzelm | more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME; | file | diff | annotate |