Admin/MacOS/Info.plist-part2
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;