diff -r cfb21e03fe2a -r d64a4ef26edb Admin/MacOS/App1/build
--- a/Admin/MacOS/App1/build	Thu Dec 05 17:52:12 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,23 +0,0 @@
-#!/usr/bin/env 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"
-
-rm -f Contents/Resources/Isabelle
-ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle
\ No newline at end of file