#1067 (Nov 24, 2019, 12:50:10 AM)

1. tuned theory structure (detail / hgweb)
2. more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump"; (detail / hgweb)
3. clarified signature; (detail / hgweb)
4. tuned proofs; (detail / hgweb)
5. clarified error: tmp file can be invalid in odd situations; (detail / hgweb)
6. more robust: file length can be invalid in odd situations; (detail / hgweb)
7. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.