--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App2/Isabelle.app/Contents/Info.plist Fri Jul 03 16:36:02 2009 +0200
@@ -0,0 +1,46 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+<dict>
+ <key>CFBundleDevelopmentRegion</key>
+ <string>English</string>
+ <key>CFBundleExecutable</key>
+ <string>Isabelle</string>
+ <key>CFBundleGetInfoString</key>
+ <string>Isabelle</string>
+ <key>CFBundleIconFile</key>
+ <string>isabelle.icns</string>
+ <key>CFBundleIdentifier</key>
+ <string>de.tum.in.isabelle</string>
+ <key>CFBundleInfoDictionaryVersion</key>
+ <string>6.0</string>
+ <key>CFBundleName</key>
+ <string>Isabelle</string>
+ <key>CFBundlePackageType</key>
+ <string>APPL</string>
+ <key>CFBundleShortVersionString</key>
+ <string>2009</string>
+ <key>CFBundleSignature</key>
+ <string>????</string>
+ <key>CFBundleVersion</key>
+ <string>2009</string>
+ <key>Java</key>
+ <dict>
+ <key>JVMVersion</key>
+ <string>1.5+</string>
+ <key>VMOptions</key>
+ <string>-Xmx384M</string>
+ <key>ClassPath</key>
+ <string>$JAVAROOT/isabelle-scala.jar</string>
+ <key>MainClass</key>
+ <string>isabelle.GUI_Setup</string>
+ <key>Properties</key>
+ <dict>
+ <key>isabelle.home</key>
+ <string>$APP_PACKAGE/Contents/Resources/Isabelle</string>
+ <key>apple.laf.useScreenMenuBar</key>
+ <string>true</string>
+ </dict>
+ </dict>
+</dict>
+</plist>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App2/Isabelle.app/Contents/MacOS/Isabelle Fri Jul 03 16:36:02 2009 +0200
@@ -0,0 +1,1 @@
+/System/Library/Frameworks/JavaVM.framework/Resources/MacOS/JavaApplicationStub
\ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App2/README Fri Jul 03 16:36:02 2009 +0200
@@ -0,0 +1,7 @@
+Isabelle/JVM application bundle for MacOS
+=========================================
+
+* http://developer.apple.com/documentation/Java/Conceptual/Java14Development/03-JavaDeployment/JavaDeployment.html
+
+* http://developer.apple.com/documentation/Java/Reference/Java_InfoplistRef/Articles/JavaDictionaryInfo.plistKeys.html#//apple_ref/doc/uid/TP40001969
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App2/mk Fri Jul 03 16:36:02 2009 +0200
@@ -0,0 +1,12 @@
+#!/bin/bash
+#
+# Make Isabelle/JVM application bundle
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+APP="$THIS/Isabelle.app"
+
+mkdir -p "$APP/Contents/Resources/Java"
+cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java"
+cp "$THIS/../isabelle.icns" "$APP/Contents/Resources"
+