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
* final packaging:
hdiutil create -srcfolder DIR DMG