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.
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
authorwenzelm
Mon, 23 Jul 2012 18:21:26 +0200
changeset 48452 4ad6182d5bb9
parent 48451 6d9c43f51e60
child 48454 808a5ba61991
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
Admin/MacOS/App1/mk file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/App1/mk	Mon Jul 23 18:15:05 2012 +0200
+++ b/Admin/MacOS/App1/mk	Mon Jul 23 18:21:26 2012 +0200
@@ -10,6 +10,8 @@
   -a Isabelle -u Isabelle \
   -I "de.tum.in.isabelle" \
   -i "$THIS/../isabelle.icns" \
+  -D -X thy \
+  -Q "$THIS/../theory.icns" \
   -p /bin/bash \
   -R \
   -o None \
isabelle