#1577 (Oct 21, 2021, 1:33:24 AM)

1. clarified modules; (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. discontinued obsolete "val extend = I" for data slots; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. clarified modules; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified keywords and reports; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. merged (detail / hgweb)
11. proper veriT --max-time option (detail / hgweb)
12. refactored tptp_builtins in Sledgehammer (detail / hgweb)

Started by an SCM change

This run spent:

• 43 min waiting;
• 5 hr 0 min build duration;
• 5 hr 43 min total from scheduled to completion.