Admin/MacOS/README
author wenzelm
Thu, 16 Apr 2009 17:29:30 +0200
changeset 30901 9343d4b7c5bf
parent 29155 ca28610a0e7e
permissions -rw-r--r--
give up file type / dropability for now -- does not work reliably; tuned;

Isabelle application bundle for MacOS
=====================================

Requirements:

* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/

* Platypus 4.0 http://www.sveinbjorn.org/platypus