--- a/Admin/MacOS/App2/Isabelle.app/Contents/Info.plist Wed May 19 12:35:20 2010 +0200
+++ b/Admin/MacOS/App2/Isabelle.app/Contents/Info.plist Wed May 19 17:39:22 2010 +0200
@@ -19,17 +19,17 @@
<key>CFBundlePackageType</key>
<string>APPL</string>
<key>CFBundleShortVersionString</key>
- <string>2009</string>
+ <string>????</string>
<key>CFBundleSignature</key>
<string>????</string>
<key>CFBundleVersion</key>
- <string>2009</string>
+ <string>????</string>
<key>Java</key>
<dict>
<key>JVMVersion</key>
- <string>1.5+</string>
+ <string>1.6</string>
<key>VMOptions</key>
- <string>-Xmx384M</string>
+ <string>-Xms128m -Xmx512m -Xss2m</string>
<key>ClassPath</key>
<string>$JAVAROOT/isabelle-scala.jar</string>
<key>MainClass</key>
@@ -40,6 +40,8 @@
<string>$APP_PACKAGE/Contents/Resources/Isabelle</string>
<key>apple.laf.useScreenMenuBar</key>
<string>true</string>
+ <key>com.apple.mrj.application.apple.menu.about.name</key>
+ <string>Isabelle</string>
</dict>
</dict>
</dict>