author | wenzelm |
Sun, 13 Dec 2020 13:29:04 +0100 | |
changeset 72894 | bd2269b6cd99 |
parent 71335 | 2afdd24ff707 |
permissions | -rw-r--r-- |
72894
bd2269b6cd99
updated "macOS" terminology: current Big Sur is already version 11;
wenzelm
parents:
71335
diff
changeset
|
1 |
Isabelle/JVM application bundle for macOS |
bd2269b6cd99
updated "macOS" terminology: current Big Sur is already version 11;
wenzelm
parents:
71335
diff
changeset
|
2 |
========================================= |
51257
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
3 |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
4 |
* http://java.net/projects/appbundler |
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
5 |
|
71335 | 6 |
- see appbundler-1.0.jar |
7 |
- see com/oracle/appbundler/JavaAppLauncher |