#1389 (Jan 31, 2021, 12:59:27 AM)

1. merged (detail / hgweb)
2. more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup); (detail / hgweb)
3. tuned signature: more types; (detail / hgweb)
4. clarified signature: proper order; (detail / hgweb)
5. clarified signature: more explicit types; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature: no symbol markup within XML attributes; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. bundle more libraries from scala-2.12.x, notably for Isabelle/MMT; (detail / hgweb)
11. provide naproche-20210129; (detail / hgweb)
12. more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1; (detail / hgweb)
13. tuned signature (e.g. see HTML.control_block in Isabelle/Scala); (detail / hgweb)
14. proper Isabelle environment (amending 31fbde3baa97); (detail / hgweb)
15. updated to jdk-15.0.2+7; (detail / hgweb)
16. follow Phabricator update 2021 Week 4; (detail / hgweb)
17. more NEWS; (detail / hgweb)
18. more uniform directory layout for macOS;
    uniform Isabelle_app executable + lib/scripts/Isabelle_app for Linux and macOS;
    proper support for Apple "Files and Folders" security via x86_64-darwin executable (which is still able to launch arm64-darwin Java); (detail / hgweb)
19. more generic Isabelle_app; (detail / hgweb)
20. prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc); (detail / hgweb)
21. more robust; (detail / hgweb)
22. tuned; (detail / hgweb)
23. tuned; (detail / hgweb)
24. provide jdk-11.0.10+9.tar.gz LTS for testing (inactive); (detail / hgweb)
25. Simpler proof (detail / hgweb)

Started by an SCM change

This run spent:

• 9 min 26 sec waiting;
• 1 hr 29 min build duration;
• 1 hr 39 min total from scheduled to completion.