equal
deleted
inserted
replaced
7 <key>CFBundleExecutable</key> |
7 <key>CFBundleExecutable</key> |
8 <string>JavaAppLauncher</string> |
8 <string>JavaAppLauncher</string> |
9 <key>CFBundleIconFile</key> |
9 <key>CFBundleIconFile</key> |
10 <string>isabelle.icns</string> |
10 <string>isabelle.icns</string> |
11 <key>CFBundleIdentifier</key> |
11 <key>CFBundleIdentifier</key> |
12 <string>de.tum.in.isabelle</string> |
12 <string>de.tum.in.isabelle.{ISABELLE_NAME}</string> |
13 <key>CFBundleDisplayName</key> |
13 <key>CFBundleDisplayName</key> |
14 <string>{ISABELLE_NAME}</string> |
14 <string>{ISABELLE_NAME}</string> |
15 <key>CFBundleInfoDictionaryVersion</key> |
15 <key>CFBundleInfoDictionaryVersion</key> |
16 <string>6.0</string> |
16 <string>6.0</string> |
17 <key>CFBundleName</key> |
17 <key>CFBundleName</key> |
24 <string>????</string> |
24 <string>????</string> |
25 <key>CFBundleVersion</key> |
25 <key>CFBundleVersion</key> |
26 <string>1</string> |
26 <string>1</string> |
27 <key>NSHumanReadableCopyright</key> |
27 <key>NSHumanReadableCopyright</key> |
28 <string></string> |
28 <string></string> |
|
29 <key>LSMinimumSystemVersion</key> |
|
30 <string>10.7</string> |
29 <key>LSApplicationCategoryType</key> |
31 <key>LSApplicationCategoryType</key> |
30 <string>public.app-category.developer-tools</string> |
32 <string>public.app-category.developer-tools</string> |
31 <key>NSHighResolutionCapable</key> |
33 <key>NSHighResolutionCapable</key> |
|
34 <string>true</string> |
|
35 <key>NSSupportsAutomaticGraphicsSwitching</key> |
32 <string>true</string> |
36 <string>true</string> |
33 <key>JVMRuntime</key> |
37 <key>JVMRuntime</key> |
34 <string>jdk</string> |
38 <string>jdk</string> |
35 <key>JVMMainClassName</key> |
39 <key>JVMMainClassName</key> |
36 <string>isabelle.Main</string> |
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> |
37 <key>JVMOptions</key> |
58 <key>JVMOptions</key> |
38 <array> |
59 <array> |