diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App1/README
--- a/Admin/MacOS/App1/README	Mon Nov 11 21:16:23 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-Isabelle application bundle for MacOS
-=====================================
-
-Requirements:
-
-* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/
-
-* Platypus 4.7 http://www.sveinbjorn.org/platypus
-  Preferences: Install command line tool
-
-* final packaging:
-
-  hdiutil create -srcfolder DIR DMG
-