#1367 (Dec 24, 2020, 1:11:36 AM)

1. more NEWS; (detail / hgweb)
2. merged (detail / hgweb)
3. avoid memory problems on test machine; (detail / hgweb)
4. more robust defaults: spurious problems with parallel invocations and interrupts; (detail / hgweb)
5. more interrupts; (detail / hgweb)
6. avoid multiple uses of the same ML file; (detail / hgweb)
7. tuned document, notably authors and sections; (detail / hgweb)
8. clarified presentation of files for each theory; (detail / hgweb)
9. disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples; (detail / hgweb)
10. clarified modules: avoid multiple uses of the same ML file;
    clarified concrete vs. abstract syntax; (detail / hgweb)
11. clarified session: avoid merge of different syntax from different Hoare logics; (detail / hgweb)
12. clarified modules: avoid multiple uses of the same ML file; (detail / hgweb)
13. clarified syntax modes, avoid obsolete "xsymbols"; (detail / hgweb)
14. clarified fonts, notably for Windows L&F; (detail / hgweb)
15. support jdk-15; (detail / hgweb)
16. more friendly desktop application on macOS; (detail / hgweb)
17. default simprule for geometric series (detail / hgweb)
18. tuned (detail / hgweb)

Started by an SCM change

This run spent:

• 21 min waiting;
• 1 hr 29 min build duration;
• 1 hr 51 min total from scheduled to completion.