| Wed, 29 Aug 2012 21:20:46 +0200 | wenzelm | more formal isabelle makedist from repository; | 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 |
| Wed, 06 Jan 2010 22:18:52 +0100 | wenzelm | simplified build/bootstrap of graph browser -- avoid make; | file | diff | annotate |