#1357 (Dec 11, 2020, 12:50:07 AM)

1. more informative error; (detail / hgweb)
2. proper else statement; (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified session log file: avoid erratic messages; (detail / hgweb)
5. clarified messages; (detail / hgweb)
6. clarified messages; (detail / hgweb)
7. NEWS and documentation for "isabelle log"; (detail / hgweb)
8. clarified messages; (detail / hgweb)
9. clarified types; (detail / hgweb)
10. clarified Pretty.Metric, as for build errors; (detail / hgweb)
11. clarified types; (detail / hgweb)
12. tuned; (detail / hgweb)
13. clarified: omit presumably pointless Markup.Serial (see also 0b9334adcf05); (detail / hgweb)
14. clarified signature: more specific types; (detail / hgweb)
15. tuned messages; (detail / hgweb)
16. clarified output of Isabelle symbols; (detail / hgweb)
17. tuned signature; (detail / hgweb)
18. clarified file sources: take from build database instead of file-system; (detail / hgweb)
19. tuned; (detail / hgweb)
20. tuned messages; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.