author | wenzelm |
Thu, 16 Apr 2009 17:29:30 +0200 | |
changeset 30901 | 9343d4b7c5bf |
parent 29155 | ca28610a0e7e |
permissions | -rw-r--r-- |
29136 | 1 |
Isabelle application bundle for MacOS |
2 |
===================================== |
|
3 |
||
4 |
Requirements: |
|
5 |
||
30901
9343d4b7c5bf
give up file type / dropability for now -- does not work reliably;
wenzelm
parents:
29155
diff
changeset
|
6 |
* CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/ |
29155 | 7 |
|
30901
9343d4b7c5bf
give up file type / dropability for now -- does not work reliably;
wenzelm
parents:
29155
diff
changeset
|
8 |
* Platypus 4.0 http://www.sveinbjorn.org/platypus |
29155 | 9 |