diff -r d394a17d4fdb -r 9343d4b7c5bf Admin/MacOS/mk
--- a/Admin/MacOS/mk	Thu Apr 16 14:54:57 2009 +0200
+++ b/Admin/MacOS/mk	Thu Apr 16 17:29:30 2009 +0200
@@ -11,7 +11,6 @@
   -a Isabelle -u Isabelle \
   -I "de.tum.in.isabelle" \
   -i "$THIS/isabelle.icns" \
-  -D -X thy \
   -p /bin/bash \
   -c "$THIS/script" \
   -o None \