Admin/MacOS/mk
changeset 29154 32b13b953e3a
parent 29151 fa5224eb28a5
child 30901 9343d4b7c5bf
equal deleted inserted replaced
29153:789cd671636e 29154:32b13b953e3a
    14   -D -X thy \
    14   -D -X thy \
    15   -p /bin/bash \
    15   -p /bin/bash \
    16   -c "$THIS/script" \
    16   -c "$THIS/script" \
    17   -o None \
    17   -o None \
    18   -f "$COCOADIALOG_APP" \
    18   -f "$COCOADIALOG_APP" \
    19   Isabelle.app
    19   "$PWD/Isabelle.app"