#1377 (Jan 6, 2021, 2:04:29 AM)

1. clarified application init; (detail / hgweb)
2. recovered bundle icons (not application) from macos_app; (detail / hgweb)
3. proper app directory setup, without macos_app component; (detail / hgweb)
4. more robust; (detail / hgweb)
5. prefer official Java 9 operations; (detail / hgweb)
6. obsolete; (detail / hgweb)
7. proper dock icon for macOS; (detail / hgweb)
8. proper isabelle_home_prefix;
   proper isabelle_options, with link; (detail / hgweb)
9. discontinued macOS JavaAppLauncher: re-use plain shell script;
   more uniform java_options for all platforms; (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. tuned -- generate Info.plist in Isabelle/Scala; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. updated according to ~~/etc/settings;
    tuned; (detail / hgweb)
15. more portable component setup; (detail / hgweb)
16. clarified quotes; (detail / hgweb)
17. tuned -- generate script by Isabelle/Scala; (detail / hgweb)
18. proper treatment of XML.Wrapped_Elem, e.g. Markup.class_parameter; (detail / hgweb)
19. proper theory name, e.g. for HTML/PIDE presentation; (detail / hgweb)
20. more robust and permissive; (detail / hgweb)
21. present theory using PIDE markup; (detail / hgweb)
22. clarified signature; (detail / hgweb)
23. tuned signature; (detail / hgweb)
24. tuned (detail / hgweb)
25. HOL-Library.Multiset: new notation for prod_mset, consistent with sum_mset (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 14 min waiting;
• 1 hr 29 min build duration;
• 2 hr 43 min total from scheduled to completion.