isabelle: Admin/MacOS/README@ca28610a0e7e (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
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	6	* CocoaDialog http://cocoadialog.sourceforge.net/
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	7
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	8	* Platypus http://www.sveinbjorn.org/platypus
29155 ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	9
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	10	* AppHack 1.1 http://www.sveinbjorn.org/apphack
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	11
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	12	Manual setup:
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	13	File type: "Isabelle theory"
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	14	Icon: "theory.icns"
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	15	"Editor"
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	16	Suffixes: "thy"
ca28610a0e7e manual file type setup using AppHack 1.1; wenzelm parents: 29136 diff changeset	17

author	wenzelm
	Tue, 23 Dec 2008 13:20:34 +0100
changeset 29155	ca28610a0e7e
parent 29136	de5b29c25af9
child 30901	9343d4b7c5bf
permissions	-rw-r--r--