#1895 (Feb 21, 2023, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned: avoid redundant white space; (detail / hgweb)
3. clarified signature: more robust operations, without assumption about node 0; (detail / hgweb)
4. clarified signature: more concise operations; (detail / hgweb)
5. clarified modules: NUMA is managed by Build_Process; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified signature: move all parameters into Build_Process.Context; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. more elementary data structures, to fit better to SQL database; (detail / hgweb)
10. clarified signature (see also 68a7ad1385bc); (detail / hgweb)
11. clarified signature; (detail / hgweb)
12. clarified modules;
    clarified signature; (detail / hgweb)
13. merged (detail / hgweb)
14. merge in backouts (detail / hgweb)
15. Backed out changeset bafdc56654cf (detail / hgweb)
16. backout rev 334015f9098e (for Main_Doc.thy only) (detail / hgweb)
17. Backed out changeset 1fde0e4fd791 (detail / hgweb)
18. merged (detail / hgweb)
19. Simplifying more proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 54 min build duration;
• 1 hr 54 min total from scheduled to completion.