#574 (Dec 8, 2023, 12:50:03 AM)

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

1. misc tuning and clarification; (detail)
2. tuned; (detail)
3. misc tuning and clarification, following Term.incr_bv / Term.incr_boundvars; (detail)
4. tuned; (detail)
5. tuned; (detail)
6. minor performance tuning: regular Same.operation; (detail)
7. clarified signature: more standard argument order; (detail)
8. clarified signature: more standard argument order; (detail)
9. tuned whitespace; (detail)
10. tuned: more standard names; (detail)
11. clarified signature; (detail)
12. tuned: prefer Same.commit; (detail)
13. tuned: more standard argument order; (detail)
14. clarified signature; (detail)
15. more operations;
    more caching; (detail)
16. tuned comments; (detail)

Started by an SCM change

This run spent:

• 2 hr 27 min waiting;
• 2 hr 19 min build duration;
• 4 hr 47 min total from scheduled to completion.