changeset 29136 | de5b29c25af9 |
child 29155 | ca28610a0e7e |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/MacOS/README Wed Dec 17 14:39:38 2008 +0100 @@ -0,0 +1,8 @@ +Isabelle application bundle for MacOS +===================================== + +Requirements: + +* CocoaDialog http://cocoadialog.sourceforge.net/ + +* Platypus http://www.sveinbjorn.org/platypus