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