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