#1056 (Nov 9, 2019, 12:50:07 AM)

1. tuned comments; (detail / hgweb)
2. merged (detail / hgweb)
3. retain type information from reconstruct_proof, notably for Export_Theory.export_thm; (detail / hgweb)
4. tuned proofs; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. more robust; (detail / hgweb)
7. tuned modules; (detail / hgweb)
8. tuned proofs -- more stable proof terms without [rule_format]; (detail / hgweb)
9. merged (detail / hgweb)
10. A slight tidying up of messy proof steps (detail / hgweb)

Started by an SCM change

This run spent:

• 6.7 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.