#1953 (May 11, 2023, 3:57:51 AM)

1. proper Thm.trim_context / Thm.transfer; (detail / hgweb)
2. proper Thm.trim_context / Thm.transfer; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned Isabelle/ML; (detail / hgweb)
5. more informative position information; (detail / hgweb)
6. tuned; (detail / hgweb)
7. more informative position information; (detail / hgweb)
8. clarified context tracing;
   proper finish: purge inactive entries; (detail / hgweb)
9. more operations; (detail / hgweb)
10. proper system options to control context tracing/timing; (detail / hgweb)
11. added lemmas transp_on_multpHO and transp_multpHO (detail / hgweb)
12. tuned theory structure (detail / hgweb)
13. merged (detail / hgweb)
14. added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered assumptions of Finite_Set.bex_(min|max)_element (detail / hgweb)

Started by an SCM change

This run spent:

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