author | wenzelm |
Tue, 23 Dec 2008 13:20:34 +0100 | |
changeset 29155 | ca28610a0e7e |
parent 29136 | de5b29c25af9 |
child 30901 | 9343d4b7c5bf |
permissions | -rw-r--r-- |
Isabelle application bundle for MacOS ===================================== Requirements: * CocoaDialog http://cocoadialog.sourceforge.net/ * Platypus http://www.sveinbjorn.org/platypus * AppHack 1.1 http://www.sveinbjorn.org/apphack Manual setup: File type: "Isabelle theory" Icon: "theory.icns" "Editor" Suffixes: "thy"