Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper -X option;
authorwenzelm
Mon, 22 Dec 2008 19:57:49 +0100
changeset 29151 fa5224eb28a5
parent 29150 8af5ee47f30c
child 29152 89b0803404d7
proper -X option; relative result, do not insist in "$THIS/Isabelle.app";
Admin/MacOS/mk file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/mk	Mon Dec 22 16:57:11 2008 +0100
+++ b/Admin/MacOS/mk	Mon Dec 22 19:57:49 2008 +0100
@@ -11,9 +11,9 @@
   -a Isabelle -u Isabelle \
   -I "de.tum.in.isabelle" \
   -i "$THIS/isabelle.icns" \
-  -D -X .thy \
+  -D -X thy \
   -p /bin/bash \
   -c "$THIS/script" \
   -o None \
   -f "$COCOADIALOG_APP" \
-  "$THIS/Isabelle.app"
+  Isabelle.app
isabelle