Admin/MacOS/README

--- a/Admin/MacOS/README	Tue Dec 23 12:53:44 2008 +0100
+++ b/Admin/MacOS/README	Tue Dec 23 13:20:34 2008 +0100
@@ -6,3 +6,12 @@
 * CocoaDialog http://cocoadialog.sourceforge.net/
 
 * Platypus http://www.sveinbjorn.org/platypus
+
+* AppHack 1.1 http://www.sveinbjorn.org/apphack
+
+  Manual setup:
+    File type: "Isabelle theory"
+    Icon: "theory.icns"
+    "Editor"
+    Suffixes: "thy"
+