changeset 71335 | 2afdd24ff707 |
parent 69401 | 7a1b7b737c02 |
child 72894 | bd2269b6cd99 |
71334:8b69289254ba | 71335:2afdd24ff707 |
---|---|
1 Isabelle/JVM application bundle for Mac OS X |
1 Isabelle/JVM application bundle for Mac OS X |
2 ============================================ |
2 ============================================ |
3 |
3 |
4 * http://java.net/projects/appbundler |
4 * http://java.net/projects/appbundler |
5 |
5 |
6 see appbundler-1.0.jar |
6 - see appbundler-1.0.jar |
7 see com/oracle/appbundler/JavaAppLauncher |
7 - see com/oracle/appbundler/JavaAppLauncher |