1.1 --- a/Admin/MacOS/App3/Info.plist-part1 Mon Nov 11 21:20:51 2013 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,36 +0,0 @@
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_NAME}</string>
1.18 -<key>CFBundleInfoDictionaryVersion</key>
1.19 -<string>6.0</string>
1.20 -<key>CFBundleName</key>
1.21 -<string>{ISABELLE_NAME}</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>
2.1 --- a/Admin/MacOS/App3/Info.plist-part2 Mon Nov 11 21:20:51 2013 +0100
2.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
2.3 @@ -1,7 +0,0 @@
2.4 -<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
2.5 -</array>
2.6 -<key>JVMArguments</key>
2.7 -<array>
2.8 -</array>
2.9 -</dict>
2.10 -</plist>
3.1 --- a/Admin/MacOS/App3/README Mon Nov 11 21:20:51 2013 +0100
3.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
3.3 @@ -1,8 +0,0 @@
3.4 -Isabelle/JVM application bundle for Mac OS X
3.5 -============================================
3.6 -
3.7 -* http://java.net/projects/appbundler
3.8 -
3.9 - see appbundler-1.0.jar
3.10 - see com/oracle/appbundler/JavaAppLauncher
3.11 -
4.1 --- a/Admin/MacOS/App3/Resources/en.lproj/Localizable.strings Mon Nov 11 21:20:51 2013 +0100
4.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
4.3 @@ -1,3 +0,0 @@
4.4 -"JRELoadError" = "Unable to load Java Runtime Environment.";
4.5 -"MainClassNameRequired" = "Main class name is required.";
4.6 -"JavaDirectoryNotFound" = "Unable to enumerate Java directory contents.";
5.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
5.2 +++ b/Admin/MacOS/Info.plist-part1 Mon Nov 11 21:28:08 2013 +0100
5.3 @@ -0,0 +1,36 @@
5.4 +<?xml version="1.0" ?>
5.5 +<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
5.6 +<plist version="1.0">
5.7 +<dict>
5.8 +<key>CFBundleDevelopmentRegion</key>
5.9 +<string>English</string>
5.10 +<key>CFBundleExecutable</key>
5.11 +<string>JavaAppLauncher</string>
5.12 +<key>CFBundleIconFile</key>
5.13 +<string>isabelle.icns</string>
5.14 +<key>CFBundleIdentifier</key>
5.15 +<string>de.tum.in.isabelle</string>
5.16 +<key>CFBundleDisplayName</key>
5.17 +<string>{ISABELLE_NAME}</string>
5.18 +<key>CFBundleInfoDictionaryVersion</key>
5.19 +<string>6.0</string>
5.20 +<key>CFBundleName</key>
5.21 +<string>{ISABELLE_NAME}</string>
5.22 +<key>CFBundlePackageType</key>
5.23 +<string>APPL</string>
5.24 +<key>CFBundleShortVersionString</key>
5.25 +<string>1.0</string>
5.26 +<key>CFBundleSignature</key>
5.27 +<string>????</string>
5.28 +<key>CFBundleVersion</key>
5.29 +<string>1</string>
5.30 +<key>NSHumanReadableCopyright</key>
5.31 +<string></string>
5.32 +<key>LSApplicationCategoryType</key>
5.33 +<string>public.app-category.developer-tools</string>
5.34 +<key>JVMRuntime</key>
5.35 +<string>jdk</string>
5.36 +<key>JVMMainClassName</key>
5.37 +<string>isabelle.Main</string>
5.38 +<key>JVMOptions</key>
5.39 +<array>
6.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
6.2 +++ b/Admin/MacOS/Info.plist-part2 Mon Nov 11 21:28:08 2013 +0100
6.3 @@ -0,0 +1,7 @@
6.4 +<string>-Disabelle.home=$APP_ROOT/Contents/Resources/{ISABELLE_NAME}</string>
6.5 +</array>
6.6 +<key>JVMArguments</key>
6.7 +<array>
6.8 +</array>
6.9 +</dict>
6.10 +</plist>
7.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
7.2 +++ b/Admin/MacOS/README Mon Nov 11 21:28:08 2013 +0100
7.3 @@ -0,0 +1,8 @@
7.4 +Isabelle/JVM application bundle for Mac OS X
7.5 +============================================
7.6 +
7.7 +* http://java.net/projects/appbundler
7.8 +
7.9 + see appbundler-1.0.jar
7.10 + see com/oracle/appbundler/JavaAppLauncher
7.11 +
8.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
8.2 +++ b/Admin/MacOS/Resources/en.lproj/Localizable.strings Mon Nov 11 21:28:08 2013 +0100
8.3 @@ -0,0 +1,3 @@
8.4 +"JRELoadError" = "Unable to load Java Runtime Environment.";
8.5 +"MainClassNameRequired" = "Main class name is required.";
8.6 +"JavaDirectoryNotFound" = "Unable to enumerate Java directory contents.";
9.1 Binary file Admin/MacOS/Resources/isabelle.icns has changed
10.1 Binary file Admin/MacOS/Resources/theory.icns has changed
11.1 Binary file Admin/MacOS/isabelle.icns has changed
12.1 Binary file Admin/MacOS/theory.icns has changed
13.1 --- a/Admin/lib/Tools/makedist_bundle Mon Nov 11 21:20:51 2013 +0100
13.2 +++ b/Admin/lib/Tools/makedist_bundle Mon Nov 11 21:28:08 2013 +0100
13.3 @@ -258,7 +258,7 @@
13.4 (
13.5 cd "$TMP"
13.6
13.7 - APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS/App3"
13.8 + APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
13.9 APP="${ISABELLE_NAME}.app"
13.10
13.11 for NAME in Java MacOS PlugIns Resources
13.12 @@ -286,7 +286,6 @@
13.13 done
13.14
13.15 cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
13.16 - cp "$APP_TEMPLATE/../isabelle.icns" "$APP/Contents/Resources/."
13.17
13.18 ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
13.19 "$APP/Contents/PlugIns/jdk"