Admin/MacOS/Info.plist-part2
19 months ago wenzelm 2018-01-23 more robust java.ext.dirs: avoid picking up accidental jars from system directories;
2015-09-30 wenzelm 2015-09-30 proper isabelle.root for bootstrap;
2014-06-27 wenzelm 2014-06-27 sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
2013-11-11 wenzelm 2013-11-11 simplified App template;