isabelle: File revisions

bin/isabelle_java

2022-10-20	wenzelm	more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;	file \| diff \| annotate
2021-07-15	wenzelm	more robust classpath: skip empty entries;	file \| diff \| annotate
2021-07-15	wenzelm	more robust: avoid duplicate classpath entries;	file \| diff \| annotate
2021-07-15	wenzelm	build.props for isabelle.jar, including isabelle.jedit;	file \| diff \| annotate
2021-05-17	kleing	avoid unexpected output+behaviour when CDPATH is set	file \| diff \| annotate
2018-10-05	wenzelm	discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;	file \| diff \| annotate
2018-01-23	wenzelm	more robust java.ext.dirs: avoid picking up accidental jars from system directories;	file \| diff \| annotate
2017-10-23	wenzelm	updated to jdk-8u152, which is for x86_64 only;	file \| diff \| annotate
2016-10-04	wenzelm	proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);	file \| diff \| annotate
2016-10-03	wenzelm	clarified cold-start environment;	file \| diff \| annotate
2016-10-02	wenzelm	added isabelle_java cold-start executable;	file \| diff \| annotate

isabelle