| changeset 54392 | f14791d4f08d |
| parent 51257 | 93ccf48a46b7 |
| child 69401 | 7a1b7b737c02 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/MacOS/README Mon Nov 11 21:28:08 2013 +0100 @@ -0,0 +1,8 @@ +Isabelle/JVM application bundle for Mac OS X +============================================ + +* http://java.net/projects/appbundler + + see appbundler-1.0.jar + see com/oracle/appbundler/JavaAppLauncher +