# HG changeset patch
# User wenzelm
# Date 1442429681 -7200
# Node ID de767684bb33f108a12f4b64f9a9b00deeab0f35
# Parent  9d0834562a78730e7232e5bacc5c0a67a4155d81
more app properties glimpsed from infinitekind/Moneydance 2015.5;

diff -r 9d0834562a78 -r de767684bb33 Admin/MacOS/Info.plist-part1
--- a/Admin/MacOS/Info.plist-part1	Wed Sep 16 20:38:06 2015 +0200
+++ b/Admin/MacOS/Info.plist-part1	Wed Sep 16 20:54:41 2015 +0200
@@ -9,7 +9,7 @@
 <key>CFBundleIconFile</key>
 <string>isabelle.icns</string>
 <key>CFBundleIdentifier</key>
-<string>de.tum.in.isabelle</string>
+<string>de.tum.in.isabelle.{ISABELLE_NAME}</string>
 <key>CFBundleDisplayName</key>
 <string>{ISABELLE_NAME}</string>
 <key>CFBundleInfoDictionaryVersion</key>
@@ -26,13 +26,34 @@
 <string>1</string>
 <key>NSHumanReadableCopyright</key>
 <string></string>
+<key>LSMinimumSystemVersion</key>
+<string>10.7</string>
 <key>LSApplicationCategoryType</key>
 <string>public.app-category.developer-tools</string>
 <key>NSHighResolutionCapable</key>
 <string>true</string>
+<key>NSSupportsAutomaticGraphicsSwitching</key>
+<string>true</string>
 <key>JVMRuntime</key>
 <string>jdk</string>
 <key>JVMMainClassName</key>
 <string>isabelle.Main</string>
+<key>CFBundleDocumentTypes</key>
+<array>
+<dict>
+<key>CFBundleTypeExtensions</key>
+<array>
+<string>thy</string>
+</array>
+<key>CFBundleTypeIconFile</key>
+<string>theory.icns</string>
+<key>CFBundleTypeName</key>
+<string>Isabelle theory file</string>
+<key>CFBundleTypeRole</key>
+<string>Editor</string>
+<key>LSTypeIsPackage</key>
+<false/>
+</dict>
+</array>
 <key>JVMOptions</key>
 <array>