| 2018-04-20 | wenzelm | minimal Java source version for jdk-10.0.1; | file | diff | annotate |
| 2015-09-30 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| 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 |