#1560 (Sep 29, 2021, 3:09:28 AM)

1. avoid overlapping PIDE markup (amending bb25ea271b15); (detail / hgweb)
2. recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB); (detail / hgweb)
3. clarified antiquotations; (detail / hgweb)
4. merged (detail / hgweb)
5. clarified antiquotations; (detail / hgweb)
6. clarified antiquotations; (detail / hgweb)
7. clarified antiquotations; (detail / hgweb)
8. clarified antiquotations; (detail / hgweb)
9. clarified antiquotations; (detail / hgweb)
10. clarified positions, notably for ML compiler errors; (detail / hgweb)
11. clarified message; (detail / hgweb)
12. proper default for Sledgehammer GUI panel; (detail / hgweb)
13. tuned antiquotations; (detail / hgweb)
14. more convenient ML arguments: avoid excessive nesting of cartouches; (detail / hgweb)
15. outer syntax: support for control-cartouche tokens; (detail / hgweb)
16. merged (detail / hgweb)
17. An example (detail / hgweb)
18. prefer veriT over Z3 in sledgehammer (detail / hgweb)
19. added Zipperposition to sledgehammer's default provers (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 19 min waiting;
• 2 hr 5 min build duration;
• 4 hr 25 min total from scheduled to completion.