equal
deleted
inserted
replaced
33 <key>NSHighResolutionCapable</key> |
33 <key>NSHighResolutionCapable</key> |
34 <string>true</string> |
34 <string>true</string> |
35 <key>NSSupportsAutomaticGraphicsSwitching</key> |
35 <key>NSSupportsAutomaticGraphicsSwitching</key> |
36 <string>true</string> |
36 <string>true</string> |
37 <key>JVMRuntime</key> |
37 <key>JVMRuntime</key> |
38 <string>jdk</string> |
38 <string>bundled.jdk</string> |
39 <key>JVMMainClassName</key> |
39 <key>JVMMainClassName</key> |
40 <string>isabelle.Main</string> |
40 <string>isabelle.Main</string> |
41 <key>CFBundleDocumentTypes</key> |
41 <key>CFBundleDocumentTypes</key> |
42 <array> |
42 <array> |
43 <dict> |
43 <dict> |