# 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