--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App1/build Wed Aug 01 11:55:18 2012 +0200
@@ -0,0 +1,20 @@
+#!/bin/bash
+#
+# Make Isabelle application bundle
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+COCOADIALOG_APP="/Applications/CocoaDialog.app"
+
+/usr/local/bin/platypus \
+ -a Isabelle -u Isabelle \
+ -I "de.tum.in.isabelle" \
+ -i "$THIS/../isabelle.icns" \
+ -D -X thy \
+ -Q "$THIS/../theory.icns" \
+ -p /bin/bash \
+ -R \
+ -o None \
+ -f "$COCOADIALOG_APP" \
+ "$THIS/script" \
+ "$PWD/Isabelle.app"
--- a/Admin/MacOS/App1/mk Tue Jul 31 22:00:19 2012 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,20 +0,0 @@
-#!/bin/bash
-#
-# Make Isabelle application bundle
-
-THIS="$(cd "$(dirname "$0")"; pwd)"
-
-COCOADIALOG_APP="/Applications/CocoaDialog.app"
-
-/usr/local/bin/platypus \
- -a Isabelle -u Isabelle \
- -I "de.tum.in.isabelle" \
- -i "$THIS/../isabelle.icns" \
- -D -X thy \
- -Q "$THIS/../theory.icns" \
- -p /bin/bash \
- -R \
- -o None \
- -f "$COCOADIALOG_APP" \
- "$THIS/script" \
- "$PWD/Isabelle.app"