equal
deleted
inserted
replaced
17 <key>CFBundleName</key> |
17 <key>CFBundleName</key> |
18 <string>Isabelle</string> |
18 <string>Isabelle</string> |
19 <key>CFBundlePackageType</key> |
19 <key>CFBundlePackageType</key> |
20 <string>APPL</string> |
20 <string>APPL</string> |
21 <key>CFBundleShortVersionString</key> |
21 <key>CFBundleShortVersionString</key> |
22 <string>2009</string> |
22 <string>????</string> |
23 <key>CFBundleSignature</key> |
23 <key>CFBundleSignature</key> |
24 <string>????</string> |
24 <string>????</string> |
25 <key>CFBundleVersion</key> |
25 <key>CFBundleVersion</key> |
26 <string>2009</string> |
26 <string>????</string> |
27 <key>Java</key> |
27 <key>Java</key> |
28 <dict> |
28 <dict> |
29 <key>JVMVersion</key> |
29 <key>JVMVersion</key> |
30 <string>1.5+</string> |
30 <string>1.6</string> |
31 <key>VMOptions</key> |
31 <key>VMOptions</key> |
32 <string>-Xmx384M</string> |
32 <string>-Xms128m -Xmx512m -Xss2m</string> |
33 <key>ClassPath</key> |
33 <key>ClassPath</key> |
34 <string>$JAVAROOT/isabelle-scala.jar</string> |
34 <string>$JAVAROOT/isabelle-scala.jar</string> |
35 <key>MainClass</key> |
35 <key>MainClass</key> |
36 <string>isabelle.GUI_Setup</string> |
36 <string>isabelle.GUI_Setup</string> |
37 <key>Properties</key> |
37 <key>Properties</key> |
38 <dict> |
38 <dict> |
39 <key>isabelle.home</key> |
39 <key>isabelle.home</key> |
40 <string>$APP_PACKAGE/Contents/Resources/Isabelle</string> |
40 <string>$APP_PACKAGE/Contents/Resources/Isabelle</string> |
41 <key>apple.laf.useScreenMenuBar</key> |
41 <key>apple.laf.useScreenMenuBar</key> |
42 <string>true</string> |
42 <string>true</string> |
|
43 <key>com.apple.mrj.application.apple.menu.about.name</key> |
|
44 <string>Isabelle</string> |
43 </dict> |
45 </dict> |
44 </dict> |
46 </dict> |
45 </dict> |
47 </dict> |
46 </plist> |
48 </plist> |