| 2012-08-29 | wenzelm | more formal isabelle makedist from repository; | file | diff | annotate |
| 2012-03-26 | wenzelm | more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function); | file | diff | annotate |
| 2012-03-24 | wenzelm | ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); | file | diff | annotate |
| 2010-01-06 | wenzelm | simplified build/bootstrap of graph browser -- avoid make; | file | diff | annotate |