#2084 (Dec 25, 2023, 12:53:48 AM)

1. more robust: avoid crash of AFP/Transition_Systems_and_Automata (amending fe4bd39bfeac and 43d8385db923); (detail / hgweb)
2. more robust: zproofs need to be enabled (amending 43d8385db923); (detail / hgweb)
3. more thorough thm definition via Global_Theory.register_proofs: store (and purge) zproofs; (detail / hgweb)
4. tuned names; (detail / hgweb)
5. clarified signature: support update of local_theory; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. tuned; (detail / hgweb)
9. unused; (detail / hgweb)
10. clarified modules; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified modules; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned signature; (detail / hgweb)
15. tuned; (detail / hgweb)
16. more operations; (detail / hgweb)

Started by an SCM change

This run spent:

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