Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/MacOS/mk
changeset 30901 9343d4b7c5bf
parent 29154 32b13b953e3a 
--- 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 \
isabelle