isabelle: Admin/MacOS/App1/README@8e729ecd5b0c (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
48451 6d9c43f51e60 updated to Platypus 4.7; wenzelm parents: 44880 diff changeset	8	* Platypus 4.7 http://www.sveinbjorn.org/platypus
6d9c43f51e60 updated to Platypus 4.7; wenzelm parents: 44880 diff changeset	9	Preferences: Install command line tool
29155 ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	10
50984 7c07ade3c8e0 misc cleanup; wenzelm parents: 48451 diff changeset	11	* final packaging:
7c07ade3c8e0 misc cleanup; wenzelm parents: 48451 diff changeset	12
7c07ade3c8e0 misc cleanup; wenzelm parents: 48451 diff changeset	13	hdiutil create -srcfolder DIR DMG
7c07ade3c8e0 misc cleanup; wenzelm parents: 48451 diff changeset	14