Admin/MacOS/README
author wenzelm
Thu Apr 16 17:29:30 2009 +0200 (2009-04-16)
changeset 30901 9343d4b7c5bf
parent 29155 ca28610a0e7e
permissions -rw-r--r--
give up file type / dropability for now -- does not work reliably;
tuned;
     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