Admin/MacOS/README
changeset 29155 ca28610a0e7e
parent 29136 de5b29c25af9
child 30901 9343d4b7c5bf
     1.1 --- a/Admin/MacOS/README	Tue Dec 23 12:53:44 2008 +0100
     1.2 +++ b/Admin/MacOS/README	Tue Dec 23 13:20:34 2008 +0100
     1.3 @@ -6,3 +6,12 @@
     1.4  * CocoaDialog http://cocoadialog.sourceforge.net/
     1.5  
     1.6  * Platypus http://www.sveinbjorn.org/platypus
     1.7 +
     1.8 +* AppHack 1.1 http://www.sveinbjorn.org/apphack
     1.9 +
    1.10 +  Manual setup:
    1.11 +    File type: "Isabelle theory"
    1.12 +    Icon: "theory.icns"
    1.13 +    "Editor"
    1.14 +    Suffixes: "thy"
    1.15 +