merged Isabelle2009
authorwenzelm
Thu Apr 16 17:29:56 2009 +0200 (2009-04-16)
changeset 309025c8618f95d24
parent 30900 b367e75a094c
parent 30901 9343d4b7c5bf
child 30903 0b960d9c5317
child 30944 7ac037c75c26
merged
     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 \