| changeset 48452 | 4ad6182d5bb9 |
| parent 48451 | 6d9c43f51e60 |
| 48451:6d9c43f51e60 | 48452:4ad6182d5bb9 |
|---|---|
8 |
8 |
9 /usr/local/bin/platypus \ |
9 /usr/local/bin/platypus \ |
10 -a Isabelle -u Isabelle \ |
10 -a Isabelle -u Isabelle \ |
11 -I "de.tum.in.isabelle" \ |
11 -I "de.tum.in.isabelle" \ |
12 -i "$THIS/../isabelle.icns" \ |
12 -i "$THIS/../isabelle.icns" \ |
13 -D -X thy \ |
|
14 -Q "$THIS/../theory.icns" \ |
|
13 -p /bin/bash \ |
15 -p /bin/bash \ |
14 -R \ |
16 -R \ |
15 -o None \ |
17 -o None \ |
16 -f "$COCOADIALOG_APP" \ |
18 -f "$COCOADIALOG_APP" \ |
17 "$THIS/script" \ |
19 "$THIS/script" \ |