Admin/MacOS/App1/README
author wenzelm
Fri, 03 Jul 2009 16:10:49 +0200
changeset 31924 47b59620f37f
parent 30901 Admin/MacOS/README@9343d4b7c5bf
child 44880 9fb612890ad9
permissions -rw-r--r--
separate setup for App1;

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

Requirements:

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

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