| author | paulson |
| Thu, 14 Jun 2018 14:23:48 +0100 | |
| changeset 68446 | 92ddca1edc43 |
| parent 54392 | f14791d4f08d |
| child 69401 | 7a1b7b737c02 |
| permissions | -rw-r--r-- |
|
51257
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
1 |
Isabelle/JVM application bundle for Mac OS X |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
2 |
============================================ |
|
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 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
6 |
see appbundler-1.0.jar |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
7 |
see com/oracle/appbundler/JavaAppLauncher |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
8 |