# HG changeset patch
# User wenzelm
# Date 1343814918 -7200
# Node ID 2f230b6175412e8989db1b5dd7a0dc1f4f2a72e0
# Parent  2348fedfa07616b228d632f79455f9a0dea76401
more prominent file name;

diff -r 2348fedfa076 -r 2f230b617541 Admin/MacOS/App1/build
--- /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"
diff -r 2348fedfa076 -r 2f230b617541 Admin/MacOS/App1/mk
--- 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"