Admin/MacOS/mk
changeset 30901 9343d4b7c5bf
parent 29154 32b13b953e3a
     1.1 --- a/Admin/MacOS/mk	Thu Apr 16 14:54:57 2009 +0200
     1.2 +++ b/Admin/MacOS/mk	Thu Apr 16 17:29:30 2009 +0200
     1.3 @@ -11,7 +11,6 @@
     1.4    -a Isabelle -u Isabelle \
     1.5    -I "de.tum.in.isabelle" \
     1.6    -i "$THIS/isabelle.icns" \
     1.7 -  -D -X thy \
     1.8    -p /bin/bash \
     1.9    -c "$THIS/script" \
    1.10    -o None \