author | wenzelm |
Wed, 15 Apr 2009 11:14:48 +0200 | |
changeset 30895 | bad26d8f0adf |
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"