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
|