isabelle: Admin/MacOS/App1/README@c2ca2c3d23a6 (annotated)

29136 de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	1	Isabelle application bundle for MacOS
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	2	=====================================
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	3
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	4	Requirements:
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	5
44880 9fb612890ad9 explicit choice of interface; wenzelm parents: 31924 diff changeset	6	* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/
29155 ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	7
30901 9343d4b7c5bf give up file type / dropability for now -- does not work reliably; wenzelm parents: 29155 diff changeset	8	* Platypus 4.0 http://www.sveinbjorn.org/platypus
29155 ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	9