| 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 |
| Tue, 23 Jan 2018 16:37:57 +0100 | wenzelm | more robust java.ext.dirs: avoid picking up accidental jars from system directories; | file | diff | annotate |
| Wed, 30 Sep 2015 23:37:20 +0200 | wenzelm | proper isabelle.root for bootstrap; | file | diff | annotate |
| Fri, 27 Jun 2014 11:30:42 +0200 | wenzelm | sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH; | file | diff | annotate |
| Mon, 11 Nov 2013 21:28:08 +0100 | wenzelm | simplified App template; | file | diff | annotate | base |