#1679 (Mar 26, 2022, 12:50:07 AM)

1. proper option argument; (detail / hgweb)
2. prefer Isabelle shasum over the old command-line tool with its extra marker character; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned signature;
   clarified modules; (detail / hgweb)
5. tuned text, without update of component for now; (detail / hgweb)
6. omit somewhat pointless integrity check; (detail / hgweb)
7. tuned; (detail / hgweb)
8. compile TPTP module (detail / hgweb)
9. compile mirabelle (detail / hgweb)
10. further modernized E setup (detail / hgweb)
11. cleaned up obsolete E setup and a bit of SPASS (detail / hgweb)
12. second and last step in making time slicing more flexible in Sledgehammer: try to honor desired slice size (detail / hgweb)
13. first step in making time slicing more flexible in Sledgehammer: label slices with 'slice size' (detail / hgweb)
14. updated vscode_extension; (detail / hgweb)
15. added parentheses in TPTP output -- seem necessary for some provers (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 hr 36 min build duration;
• 1 hr 36 min total from scheduled to completion.