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

