changeset 44880 | 9fb612890ad9 |
parent 31924 | 47b59620f37f |
child 48451 | 6d9c43f51e60 |
44879:3b6613366dd7 | 44880:9fb612890ad9 |
---|---|
1 Isabelle application bundle for MacOS |
1 Isabelle application bundle for MacOS |
2 ===================================== |
2 ===================================== |
3 |
3 |
4 Requirements: |
4 Requirements: |
5 |
5 |
6 * CocoaDialog 2.2.1 http://cocoadialog.sourceforge.net/ |
6 * CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ |
7 |
7 |
8 * Platypus 4.0 http://www.sveinbjorn.org/platypus |
8 * Platypus 4.0 http://www.sveinbjorn.org/platypus |
9 |
9 |