1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/MacOS/App3/Info.plist	Sat Feb 23 21:07:44 2013 +0100
     1.3 @@ -0,0 +1,45 @@
     1.4 +<?xml version="1.0" ?>
     1.5 +<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
     1.6 +<plist version="1.0">
     1.7 +<dict>
     1.8 +<key>CFBundleDevelopmentRegion</key>
     1.9 +<string>English</string>
    1.10 +<key>CFBundleExecutable</key>
    1.11 +<string>JavaAppLauncher</string>
    1.12 +<key>CFBundleIconFile</key>
    1.13 +<string>isabelle.icns</string>
    1.14 +<key>CFBundleIdentifier</key>
    1.15 +<string>de.tum.in.isabelle</string>
    1.16 +<key>CFBundleDisplayName</key>
    1.17 +<string>Isabelle</string>
    1.18 +<key>CFBundleInfoDictionaryVersion</key>
    1.19 +<string>6.0</string>
    1.20 +<key>CFBundleName</key>
    1.21 +<string>Isabelle</string>
    1.22 +<key>CFBundlePackageType</key>
    1.23 +<string>APPL</string>
    1.24 +<key>CFBundleShortVersionString</key>
    1.25 +<string>1.0</string>
    1.26 +<key>CFBundleSignature</key>
    1.27 +<string>????</string>
    1.28 +<key>CFBundleVersion</key>
    1.29 +<string>1</string>
    1.30 +<key>NSHumanReadableCopyright</key>
    1.31 +<string></string>
    1.32 +<key>LSApplicationCategoryType</key>
    1.33 +<string>public.app-category.developer-tools</string>
    1.34 +<key>JVMRuntime</key>
    1.35 +<string>jdk</string>
    1.36 +<key>JVMMainClassName</key>
    1.37 +<string>isabelle.Main</string>
    1.38 +<key>JVMOptions</key>
    1.39 +<array>
    1.40 +<string>-Dapple.laf.useScreenMenuBar=true</string>
    1.41 +<string>-Disabelle.home=$APP_ROOT/Isabelle</string>
    1.42 +</array>
    1.43 +<key>JVMArguments</key>
    1.44 +<array>
    1.45 +</array>
    1.46 +</dict>
    1.47 +</plist>
    1.48 +

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/MacOS/App3/README	Sat Feb 23 21:07:44 2013 +0100
     2.3 @@ -0,0 +1,8 @@
     2.4 +Isabelle/JVM application bundle for Mac OS X
     2.5 +============================================
     2.6 +
     2.7 +* http://java.net/projects/appbundler
     2.8 +
     2.9 +  see appbundler-1.0.jar
    2.10 +  see com/oracle/appbundler/JavaAppLauncher
    2.11 +

     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/MacOS/App3/Resources/en.lproj/Localizable.strings	Sat Feb 23 21:07:44 2013 +0100
     3.3 @@ -0,0 +1,3 @@
     3.4 +"JRELoadError" = "Unable to load Java Runtime Environment.";
     3.5 +"MainClassNameRequired" = "Main class name is required.";
     3.6 +"JavaDirectoryNotFound" = "Unable to enumerate Java directory contents.";

     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/Admin/MacOS/App3/mk	Sat Feb 23 21:07:44 2013 +0100
     4.3 @@ -0,0 +1,27 @@
     4.4 +#!/bin/bash
     4.5 +#
     4.6 +# Make Isabelle/JVM application bundle
     4.7 +
     4.8 +THIS="$(cd "$(dirname "$0")"; pwd)"
     4.9 +
    4.10 +APP="$THIS/Isabelle.app"
    4.11 +
    4.12 +for NAME in Java MacOS PlugIns Resources
    4.13 +do
    4.14 +  mkdir -p "$APP/Contents/$NAME"
    4.15 +done
    4.16 +
    4.17 +cp "$THIS/Info.plist" "$APP/Contents/."
    4.18 +
    4.19 +for NAME in Pure.jar scala-library.jar scala-swing.jar
    4.20 +do
    4.21 +  ln -sf "../Resources/Isabelle/lib/classes/ext/$NAME" "$APP/Contents/Java"
    4.22 +done
    4.23 +
    4.24 +cp -R "$THIS/Resources/." "$APP/Contents/Resources/."
    4.25 +cp "$THIS/../isabelle.icns" "$APP/Contents/Resources/."
    4.26 +
    4.27 +ln -sf "../Resources/Isabelle/contrib/jdk-7u13/x86_64-darwin/jdk1.7.0_13.jdk" "$APP/Contents/PlugIns/jdk"
    4.28 +
    4.29 +cp "$THIS/JavaAppLauncher" "$APP/Contents/MacOS/." && chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
    4.30 +