# HG changeset patch
# User wenzelm
# Date 1357752746 -3600
# Node ID ef950fad78079ba8a54bf8d2574ad361cf1b88f6
# Parent  0088e0805b1041b3f6b88fd6d26f3b3bb5566978
tuned;

diff -r 0088e0805b10 -r ef950fad7807 Admin/MacOS/App1/build
--- a/Admin/MacOS/App1/build	Wed Jan 09 18:12:21 2013 +0100
+++ b/Admin/MacOS/App1/build	Wed Jan 09 18:32:26 2013 +0100
@@ -18,3 +18,6 @@
   -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