Build #72 (Oct 3, 2021, 12:14:00 AM)

1. clarified antiquotations; (detail)
2. merged (detail)
3. clarified antiquotations;
   some comments concerning odd "- numeral"; (detail)
4. clarified antiquotations; (detail)
5. clarified antiquotations; (detail)
6. merged (detail)
7. tuned TPTP parsing of THF function application (detail)
8. clarified examples; (detail)
9. repaired slip (detail)
10. merged (detail)
11. updated to Zipperposition 2.1 (detail)
12. fixed veriT environment variable in sledgehammer's documentation (detail)
13. avoid overlapping PIDE markup (amending bb25ea271b15); (detail)
14. recover some Linux test, using virtual machine node (Ubuntu 20.04, 4 cores, 16 GB); (detail)
15. clarified antiquotations; (detail)
16. merged (detail)
17. clarified antiquotations; (detail)
18. clarified antiquotations; (detail)
19. clarified antiquotations; (detail)
20. clarified antiquotations; (detail)
21. clarified antiquotations; (detail)
22. clarified positions, notably for ML compiler errors; (detail)
23. clarified message; (detail)
24. proper default for Sledgehammer GUI panel; (detail)
25. tuned antiquotations; (detail)
26. more convenient ML arguments: avoid excessive nesting of cartouches; (detail)
27. outer syntax: support for control-cartouche tokens; (detail)
28. merged (detail)
29. An example (detail)
30. prefer veriT over Z3 in sledgehammer (detail)
31. added Zipperposition to sledgehammer's default provers (detail)
32. provide zipperposition-2.1 (still unused); (detail)
33. tuned docs (detail)
34. merged (detail)
35. improper proof command 'guess' moved to separate theory "Pure-ex.Guess"; (detail)
36. NOT is part of syntax bundle also (detail)

1. repaired slip (detail)
2. feat(SpecCheck) folder renaming, types for tests (detail)
3. tuned (detail)
4. mproper proof command 'guess' moved to separate theory "Pure-ex.Guess", according to Isabelle/b49bd5d9041f; (detail)

Started by timer

This run spent:

• 0.1 sec waiting;
• 13 hr build duration;
• 13 hr total from scheduled to completion.