History log of /seL4-l4v-10.1.1/isabelle/Admin/MacOS/Info.plist-part2
Revision Date Author Comments
# fca66223 23-Jan-2018 wenzelm <none@none>

more robust java.ext.dirs: avoid picking up accidental jars from system directories;
# 8627f208 30-Sep-2015 wenzelm <none@none>

proper isabelle.root for bootstrap;
# 81fc6d51 27-Jun-2014 wenzelm <none@none>

sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
# 3c6c7b33 11-Nov-2013 wenzelm <none@none>

simplified App template;

--HG--
rename : Admin/MacOS/App3/Info.plist-part1 => Admin/MacOS/Info.plist-part1
rename : Admin/MacOS/App3/Info.plist-part2 => Admin/MacOS/Info.plist-part2
rename : Admin/MacOS/App3/README => Admin/MacOS/README
rename : Admin/MacOS/App3/Resources/en.lproj/Localizable.strings => Admin/MacOS/Resources/en.lproj/Localizable.strings
rename : Admin/MacOS/isabelle.icns => Admin/MacOS/Resources/isabelle.icns
rename : Admin/MacOS/theory.icns => Admin/MacOS/Resources/theory.icns