History log of /seL4-l4v-10.1.1/isabelle/Admin/MacOS/README
Revision Date Author Comments
# 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
# f4794788 16-Apr-2009 wenzelm <none@none>

give up file type / dropability for now -- does not work reliably;
tuned;
# ebad1b87 23-Dec-2008 wenzelm <none@none>

manual file type setup using AppHack 1.1;
# 8afaba3a 17-Dec-2008 wenzelm <none@none>

basic setup for MacOS application bundle;