History log of /seL4-l4v-10.1.1/isabelle/lib/browser/build
Revision Date Author Comments
# 89f297f9 20-Apr-2018 wenzelm <none@none>

minimal Java source version for jdk-10.0.1;
# 9eca96a0 30-Sep-2015 wenzelm <none@none>

renamed jvmpath to platform_path;
# 7d3d3f28 29-Aug-2012 wenzelm <none@none>

more formal isabelle makedist from repository;

--HG--
rename : Admin/Release/makedist => Admin/lib/Tools/makedist
# 04f189e1 26-Mar-2012 wenzelm <none@none>

more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
# 56f1afda 24-Mar-2012 wenzelm <none@none>

ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
update for prospective jdk1.7.x component;
# 479b6aec 06-Jan-2010 wenzelm <none@none>

simplified build/bootstrap of graph browser -- avoid make;