lib/Tools/scalac
2018-10-05 wenzelm discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
2018-01-23 wenzelm more robust java.ext.dirs: avoid picking up accidental jars from system directories;
2015-09-30 wenzelm renamed jvmpath to platform_path;
2013-09-12 wenzelm 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);
2013-06-25 wenzelm more formal isabelle_admin_build;
2012-08-23 wenzelm simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
2012-04-25 wenzelm enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
2012-04-12 wenzelm direct scala toplevel tools to ISABELLE_JDK_HOME;
2012-03-26 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2011-11-07 wenzelm offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
2011-09-17 wenzelm added "isabelle scalac" convenience;
less more (0) tip