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 |