#2497 (Dec 5, 2020, 7:59:07 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. merged (detail / hgweb)
2. proper span position for blobs in batch-build (but: practically irrelevant); (detail / hgweb)
3. proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4); (detail / hgweb)
4. more robust batch-build; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned; (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. clarified signature, notably access to blob files; (detail / hgweb)
13. support for PIDE markup for auxiliary files ("blobs");
    clarified files of theory Pure; (detail / hgweb)
14. tuned; (detail / hgweb)
15. clarified signature --- more explicit types; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 3 sec waiting;
• 2 hr 44 min build duration;
• 2 hr 46 min total from scheduled to completion.