# HG changeset patch
# User wenzelm
# Date 1246631762 -7200
# Node ID 569b7fae5206ce769d2c885583081b18a9b9b63e
# Parent  47b59620f37fab14fc80fbb15814ef98115ffd05
basic setup for Isabelle/JVM application bundle;

diff -r 47b59620f37f -r 569b7fae5206 Admin/MacOS/App2/Isabelle.app/Contents/Info.plist
--- /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>
diff -r 47b59620f37f -r 569b7fae5206 Admin/MacOS/App2/Isabelle.app/Contents/MacOS/Isabelle
--- /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
diff -r 47b59620f37f -r 569b7fae5206 Admin/MacOS/App2/README
--- /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
+
diff -r 47b59620f37f -r 569b7fae5206 Admin/MacOS/App2/mk
--- /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"
+