Admin/MacOS/App1/README
changeset 31924 47b59620f37f
parent 30901 9343d4b7c5bf
child 44880 9fb612890ad9
equal deleted inserted replaced
31923:d6cd15601d8a 31924:47b59620f37f
       
     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