# HG changeset patch
# User wenzelm
# Date 1274283562 -7200
# Node ID 942532de16f62c23366c2b653416cfc917f8ed8d
# Parent  41c5d4002f601f78d48994b489c3233332295eff
some updates following src/Tools/jEdit/dist-template/settings;

diff -r 41c5d4002f60 -r 942532de16f6 Admin/MacOS/App2/Isabelle.app/Contents/Info.plist
--- 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>