isatest: reactivated kodkodi and thus HOL-Nitpick_Examples -- being now on a local file system greatly increases the chance that it works;
Isabelle application bundle for MacOS
=====================================
Requirements:
* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/
* Platypus 4.0 http://www.sveinbjorn.org/platypus