1
Isabelle application bundle for MacOS
2
=====================================
3
4
Requirements:
5
6
* CocoaDialog http://cocoadialog.sourceforge.net/
7
8
* Platypus http://www.sveinbjorn.org/platypus