Admin/MacOS/README
changeset 30901 9343d4b7c5bf
parent 29155 ca28610a0e7e
     1.1 --- a/Admin/MacOS/README	Thu Apr 16 14:54:57 2009 +0200
     1.2 +++ b/Admin/MacOS/README	Thu Apr 16 17:29:30 2009 +0200
     1.3 @@ -3,15 +3,7 @@
     1.4  
     1.5  Requirements:
     1.6  
     1.7 -* CocoaDialog http://cocoadialog.sourceforge.net/
     1.8 -
     1.9 -* Platypus http://www.sveinbjorn.org/platypus
    1.10 -
    1.11 -* AppHack 1.1 http://www.sveinbjorn.org/apphack
    1.12 +* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/
    1.13  
    1.14 -  Manual setup:
    1.15 -    File type: "Isabelle theory"
    1.16 -    Icon: "theory.icns"
    1.17 -    "Editor"
    1.18 -    Suffixes: "thy"
    1.19 +* Platypus 4.0 http://www.sveinbjorn.org/platypus
    1.20