| Sun, 24 May 2020 20:35:24 +0200 | wenzelm | more accurate classpath for "isabelle scala"; | file | diff | annotate |
| Fri, 05 Oct 2018 23:49:12 +0200 | wenzelm | discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8; | file | diff | annotate |