|
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 {JAVA_OPTIONS} |
|
61 <string>-Dapple.awt.application.name={ISABELLE_NAME}</string> |
|
62 <string>-Disabelle.root=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string> |
|
63 <string>-Disabelle.app=true</string> |
|
64 </array> |
|
65 <key>JVMArguments</key> |
|
66 <array> |
|
67 </array> |
|
68 </dict> |
|
69 </plist> |