1Isabelle/JVM application bundle for Mac OS X 2============================================ 3 4* http://java.net/projects/appbundler 5 6 see appbundler-1.0.jar 7 see com/oracle/appbundler/JavaAppLauncher 8 9
1Isabelle/JVM application bundle for Mac OS X 2============================================ 3 4* http://java.net/projects/appbundler 5 6 see appbundler-1.0.jar 7 see com/oracle/appbundler/JavaAppLauncher 8 9