2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2012-08-29 wenzelm 2012-08-29 more formal isabelle makedist from repository;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2010-01-06 wenzelm 2010-01-06 simplified build/bootstrap of graph browser -- avoid make;