1.1 --- a/Admin/MacOS/README Thu Apr 16 15:45:31 2009 +0200
1.2 +++ b/Admin/MacOS/README Thu Apr 16 17:29:56 2009 +0200
1.3 @@ -3,15 +3,7 @@
1.4
1.5 Requirements:
1.6
1.7 -* CocoaDialog http://cocoadialog.sourceforge.net/
1.8 +* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/
1.9
1.10 -* Platypus http://www.sveinbjorn.org/platypus
1.11 +* Platypus 4.0 http://www.sveinbjorn.org/platypus
1.12
1.13 -* AppHack 1.1 http://www.sveinbjorn.org/apphack
1.14 -
1.15 - Manual setup:
1.16 - File type: "Isabelle theory"
1.17 - Icon: "theory.icns"
1.18 - "Editor"
1.19 - Suffixes: "thy"
1.20 -
2.1 --- a/Admin/MacOS/mk Thu Apr 16 15:45:31 2009 +0200
2.2 +++ b/Admin/MacOS/mk Thu Apr 16 17:29:56 2009 +0200
2.3 @@ -11,7 +11,6 @@
2.4 -a Isabelle -u Isabelle \
2.5 -I "de.tum.in.isabelle" \
2.6 -i "$THIS/isabelle.icns" \
2.7 - -D -X thy \
2.8 -p /bin/bash \
2.9 -c "$THIS/script" \
2.10 -o None \