author | wenzelm |
Tue, 27 Jan 2009 12:59:22 +0100 | |
changeset 29638 | 1f8f3d26a2cf |
parent 29155 | ca28610a0e7e |
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"