2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2015-04-01 wenzelm 2015-04-01 ISABELLE_JAVA_SYSTEM_OPTIONS for scala REPL;
2013-09-12 wenzelm 2013-09-12 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-06-25 wenzelm 2013-06-25 more formal isabelle_admin_build; tuned;
2012-08-23 wenzelm 2012-08-23 simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
2012-04-25 wenzelm 2012-04-25 enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
2012-04-12 wenzelm 2012-04-12 direct scala toplevel tools to ISABELLE_JDK_HOME;
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);
2011-11-07 wenzelm 2011-11-07 offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2011-01-21 wenzelm 2011-01-21 java/scala: default to UTF-8;
2010-05-28 wenzelm 2010-05-28 assume given SCALA_HOME, e.g. from component settings or external setup;
2010-01-09 wenzelm 2010-01-09 pass build error code;
2010-01-06 wenzelm 2010-01-06 simplified build/bootstrap of Isabelle/Scala components -- avoid make;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-08-16 wenzelm 2008-08-16 removed unused usage;
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;