#1343 (Nov 27, 2020, 12:50:08 AM)

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

Started by an SCM change

This run spent:

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