isabelle: Admin/MacOS/README@23d1892f8015 (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
	Sun, 15 Mar 2009 15:59:44 +0100
changeset 30529	23d1892f8015
parent 29155	ca28610a0e7e
child 30901	9343d4b7c5bf
permissions	-rw-r--r--