Isabelle application bundle for MacOS ===================================== Requirements: * CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ * Platypus 4.7 http://www.sveinbjorn.org/platypus Preferences: Install command line tool