| changeset 56013 | d64a4ef26edb |
| parent 51999 | 7c07ade3c8e0 |
| 56012:cfb21e03fe2a | 56013:d64a4ef26edb |
|---|---|
1 Isabelle application bundle for MacOS |
|
2 ===================================== |
|
3 |
|
4 Requirements: |
|
5 |
|
6 * CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ |
|
7 |
|
8 * Platypus 4.7 http://www.sveinbjorn.org/platypus |
|
9 Preferences: Install command line tool |
|
10 |
|
11 * final packaging: |
|
12 |
|
13 hdiutil create -srcfolder DIR DMG |
|
14 |