# 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 @@
CFBundlePackageType
APPL
CFBundleShortVersionString
- 2009
+ ????
CFBundleSignature
????
CFBundleVersion
- 2009
+ ????
Java
JVMVersion
- 1.5+
+ 1.6
VMOptions
- -Xmx384M
+ -Xms128m -Xmx512m -Xss2m
ClassPath
$JAVAROOT/isabelle-scala.jar
MainClass
@@ -40,6 +40,8 @@
$APP_PACKAGE/Contents/Resources/Isabelle
apple.laf.useScreenMenuBar
true
+ com.apple.mrj.application.apple.menu.about.name
+ Isabelle