#1561 (Sep 30, 2021, 1:33:23 AM)

1. clarified antiquotations; (detail / hgweb)
2. merged (detail / hgweb)
3. clarified antiquotations;
   some comments concerning odd "- numeral"; (detail / hgweb)
4. clarified antiquotations; (detail / hgweb)
5. clarified antiquotations; (detail / hgweb)
6. merged (detail / hgweb)
7. tuned TPTP parsing of THF function application (detail / hgweb)
8. clarified examples; (detail / hgweb)
9. repaired slip (detail / hgweb)
10. merged (detail / hgweb)
11. updated to Zipperposition 2.1 (detail / hgweb)
12. fixed veriT environment variable in sledgehammer's documentation (detail / hgweb)

Started by an SCM change

This run spent:

• 43 min waiting;
• 2 hr 4 min build duration;
• 2 hr 48 min total from scheduled to completion.