#1150 (Mar 22, 2020, 12:50:10 AM)

1. merged; (detail / hgweb)
2. more NEWS; (detail / hgweb)
3. delete Isabelle distribution archive after use; (detail / hgweb)
4. documentation for "isabelle build_docker"; (detail / hgweb)
5. updated for release; (detail / hgweb)
6. tuned bib; (detail / hgweb)
7. more documentation on view.antiAlias, not just NEWS; (detail / hgweb)
8. more NEWS; (detail / hgweb)
9. avoid premature crash due to missing session parents/imports; (detail / hgweb)
10. avoid accidental update of base session sources (following documentation in "system" manual); (detail / hgweb)
11. avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending a829207b32a3); (detail / hgweb)
12. prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0); (detail / hgweb)
13. slightly more explicit error, without going into the graph of proof futures; (detail / hgweb)
14. more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e); (detail / hgweb)
15. prefer strict qualification (default for 'interpretation', see 461ee3e49ad3) as proposed by Pedro Sánchez Terraf; (detail / hgweb)
16. tuned documentation, based on hints by Pedro Sánchez Terraf; (detail / hgweb)
17. backed out changeset 7eadccd4392c: too confusing wrt. text overview panel; (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 21 min total from scheduled to completion.