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;
wenzelm@29136
     1
Isabelle application bundle for MacOS
wenzelm@29136
     2
=====================================
wenzelm@29136
     3
wenzelm@29136
     4
Requirements:
wenzelm@29136
     5
wenzelm@30901
     6
* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/
wenzelm@29155
     7
wenzelm@30901
     8
* Platypus 4.0 http://www.sveinbjorn.org/platypus
wenzelm@29155
     9