changeset 54671 | d64a4ef26edb |
parent 54670 | cfb21e03fe2a |
parent 54635 | 30666a281ae3 |
child 54672 | 748778ac0ab8 |
--- a/Admin/MacOS/App3/README Thu Dec 05 17:52:12 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,8 +0,0 @@ -Isabelle/JVM application bundle for Mac OS X -============================================ - -* http://java.net/projects/appbundler - - see appbundler-1.0.jar - see com/oracle/appbundler/JavaAppLauncher -