Isabelle application bundle for MacOS ===================================== Requirements: * CocoaDialog http://cocoadialog.sourceforge.net/ * Platypus http://www.sveinbjorn.org/platypus