changeset 54391 | d5816d83e479 |
parent 54390 | 0e1566512928 |
child 54392 | f14791d4f08d |
--- 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 -