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