| 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 |