#581 (Dec 11, 2023, 9:48:05 AM)

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

1. more zproofs; (detail)
2. minor performance tuning: more direct abstraction level; (detail)
3. more general Logic.incr_indexes_operation;
   more special Logic.incr_indexes; (detail)
4. tuned; (detail)
5. tuned; (detail)
6. clarified modules; (detail)
7. clarified ML; (detail)
8. clarified signature;
   minor performance tuning; (detail)
9. tuned signature; (detail)
10. avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292); (detail)
11. tuned; (detail)
12. more robust: proper Proofterm.get_proofs_level with bound check; (detail)
13. tuned; (detail)
14. clarified signature: fewer tuples; (detail)
15. clarified signature: fewer tuples; (detail)
16. clarified signature: more explicit get_proofs_level with bounds check; (detail)

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

1. adapted to Isabelle/99bc2dd45111; (detail)

Started by an SCM change

This run spent:

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