#580 (Dec 8, 2023, 9:22:22 PM)

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

1. merged (detail)
2. misc tuning and clarification: more standard Same.commit discipline; (detail)
3. tuned; (detail)
4. tuned names; (detail)
5. more operations;
   more accurate treatment of beta contraction in norm_term/norm_proof, following Envir.norm_term; (detail)
6. minor performance tuning: more careful treatment of empty environment; (detail)
7. clarified signature; (detail)
8. more zproofs; (detail)
9. clarified signature: support shared cache; (detail)
10. tuned; (detail)
11. tuned: avoid shadowing; (detail)
12. more zproofs; (detail)
13. tuned; (detail)
14. more operations;
    clarified cache; (detail)
15. tuned signature; (detail)
16. tuned names; (detail)
17. tuned -- eliminate clones; (detail)
18. tuned; (detail)
19. more operations; (detail)
20. more operations; (detail)
21. tuned; (detail)
22. clarified signature; (detail)
23. tuned; (detail)
24. tuned; (detail)
25. consider schedule calculation time in estimation; (detail)
26. compare previous build schedule with new one, to prevent regressions; (detail)

Started by an SCM change

This run spent:

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