equal
deleted
inserted
replaced
26 <string>1</string> |
26 <string>1</string> |
27 <key>NSHumanReadableCopyright</key> |
27 <key>NSHumanReadableCopyright</key> |
28 <string></string> |
28 <string></string> |
29 <key>LSApplicationCategoryType</key> |
29 <key>LSApplicationCategoryType</key> |
30 <string>public.app-category.developer-tools</string> |
30 <string>public.app-category.developer-tools</string> |
|
31 <key>NSHighResolutionCapable</key> |
|
32 <string>true</string> |
31 <key>JVMRuntime</key> |
33 <key>JVMRuntime</key> |
32 <string>jdk</string> |
34 <string>jdk</string> |
33 <key>JVMMainClassName</key> |
35 <key>JVMMainClassName</key> |
34 <string>isabelle.Main</string> |
36 <string>isabelle.Main</string> |
35 <key>JVMOptions</key> |
37 <key>JVMOptions</key> |