changeset 56013 | d64a4ef26edb |
parent 56012 | cfb21e03fe2a |
parent 56008 | 30666a281ae3 |
child 56014 | 748778ac0ab8 |
1.1 --- a/Admin/MacOS/App3/README Thu Dec 05 17:52:12 2013 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,8 +0,0 @@ 1.4 -Isabelle/JVM application bundle for Mac OS X 1.5 -============================================ 1.6 - 1.7 -* http://java.net/projects/appbundler 1.8 - 1.9 - see appbundler-1.0.jar 1.10 - see com/oracle/appbundler/JavaAppLauncher 1.11 -