#1549 (Nov 27, 2020, 1:33:13 AM)

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

1. store timings for used_theories in canonical order, with reconstructed store.read_theories; (detail)
2. merged (detail)
3. merged (detail)
4. Stepan Holub's stronger version of comm_append_are_replicate, and a de-applied Word.thy (detail)
5. merged (detail)
6. tuned (detail)
7. removed assumptions in lemma (Stepan Holub) (detail)
8. merged (detail)
9. more exports from rendering;
   suppress empty exports; (detail)
10. clarified signature; (detail)
11. clarified options: batch-build has pide_reports disabled by default (requires significant resources); (detail)
12. tuned; (detail)
13. proper return code for more errors (amending d892f6d66402); (detail)
14. more exports, as in "isabelle dump"; (detail)
15. tuned; (detail)
16. clarified signature; (detail)
17. clarified signature: initial markup is_empty, not init_markup; (detail)
18. clarified signature: prefer high-level Snapshot over low-level Command.State; (detail)
19. tuned; (detail)
20. more strict; (detail)
21. clarified signature; (detail)
22. tuned; (detail)
23. clarified signature; (detail)
24. clarified signature --- avoid repeated open_database on server; (detail)
25. renaming (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. do not build HOL-Analysis on macisa2 (detail)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 9 hr 9 min build duration;
• 9 hr 9 min total from scheduled to completion.