bin/isabelle_java
2021-07-15 wenzelm more robust classpath: skip empty entries;
2021-07-15 wenzelm more robust: avoid duplicate classpath entries;
2021-07-15 wenzelm build.props for isabelle.jar, including isabelle.jedit;
2021-05-17 kleing avoid unexpected output+behaviour when CDPATH is set
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;
2017-10-23 wenzelm updated to jdk-8u152, which is for x86_64 only;
2016-10-04 wenzelm proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
2016-10-03 wenzelm clarified cold-start environment;
2016-10-02 wenzelm added isabelle_java cold-start executable;
less more (0) tip