| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 23 | ||
| dmg/ | H | 25-Jul-2019 | 4 | |
| Info.plist-part1 | H A D | 25-Jul-2019 | 1.6 KiB | |
| Info.plist-part2 | H A D | 25-Jul-2019 | 312 | |
| README | H A D | 25-Jul-2019 | 200 | |
| Resources/ | H | 25-Jul-2019 | 5 |
README
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