History log of /seL4-l4v-10.1.1/isabelle/Admin/MacOS/Resources/theory.icns
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