Isabelle application bundle for MacOS
=====================================

Requirements:

* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/

* Platypus 4.0 http://www.sveinbjorn.org/platypus

