author | wenzelm |
Mon, 22 Dec 2008 19:57:49 +0100 (2008-12-22) | |
changeset 29151 | fa5224eb28a5 |
parent 29150 | 8af5ee47f30c |
child 29152 | 89b0803404d7 |
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