History log of /seL4-l4v-10.1.1/isabelle/Admin/MacOS/Info.plist-part1
Revision Date Author Comments
# e20ce7d2 16-Sep-2015 wenzelm <none@none>

more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;


# 44c164eb 16-Sep-2015 wenzelm <none@none>

more app properties glimpsed from infinitekind/Moneydance 2015.5;


# 973e1af2 23-Jul-2014 wenzelm <none@none>

enable hires explictly, as seen for other high-end Java applications on the Web;


# 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