Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Admin/MacOS/App1/README
author wenzelm
Fri, 03 Jul 2009 16:10:49 +0200
changeset 31924 47b59620f37f
parent 30901 Admin/MacOS/README@9343d4b7c5bf
child 45754 9fb612890ad9
permissions -rw-r--r--
separate setup for App1; 
     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
wneuper/isa