1<?xml version="1.0" ?> 2<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> 3<plist version="1.0"> 4<dict> 5<key>CFBundleDevelopmentRegion</key> 6<string>English</string> 7<key>CFBundleExecutable</key> 8<string>JavaAppLauncher</string> 9<key>CFBundleIconFile</key> 10<string>isabelle.icns</string> 11<key>CFBundleIdentifier</key> 12<string>de.tum.in.isabelle.{ISABELLE_NAME}</string> 13<key>CFBundleDisplayName</key> 14<string>{ISABELLE_NAME}</string> 15<key>CFBundleInfoDictionaryVersion</key> 16<string>6.0</string> 17<key>CFBundleName</key> 18<string>{ISABELLE_NAME}</string> 19<key>CFBundlePackageType</key> 20<string>APPL</string> 21<key>CFBundleShortVersionString</key> 22<string>1.0</string> 23<key>CFBundleSignature</key> 24<string>????</string> 25<key>CFBundleVersion</key> 26<string>1</string> 27<key>NSHumanReadableCopyright</key> 28<string></string> 29<key>LSMinimumSystemVersion</key> 30<string>10.7</string> 31<key>LSApplicationCategoryType</key> 32<string>public.app-category.developer-tools</string> 33<key>NSHighResolutionCapable</key> 34<string>true</string> 35<key>NSSupportsAutomaticGraphicsSwitching</key> 36<string>true</string> 37<key>JVMRuntime</key> 38<string>bundled.jdk</string> 39<key>JVMMainClassName</key> 40<string>isabelle.Main</string> 41<key>CFBundleDocumentTypes</key> 42<array> 43<dict> 44<key>CFBundleTypeExtensions</key> 45<array> 46<string>thy</string> 47</array> 48<key>CFBundleTypeIconFile</key> 49<string>theory.icns</string> 50<key>CFBundleTypeName</key> 51<string>Isabelle theory file</string> 52<key>CFBundleTypeRole</key> 53<string>Editor</string> 54<key>LSTypeIsPackage</key> 55<false/> 56</dict> 57</array> 58<key>JVMOptions</key> 59<array> 60