#1302 (Oct 12, 2020, 12:50:07 AM)

1. support for platform-specific executables; (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. tidying and removal of legacy name (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. more robust: ignore existing gmp installation, but let veriT incorporate extern/gmp; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. presumably redundant (absent in Windows/Cygwin download); (detail / hgweb)
9. tuned messages; (detail / hgweb)
10. build Isabelle veriT component from official download; (detail / hgweb)
11. tuned; (detail / hgweb)
12. tuned messages; (detail / hgweb)
13. direct exit to theory when ending nested target on theory target (detail / hgweb)
14. tuned (detail / hgweb)
15. consolidated terminology (detail / hgweb)
16. avoid baroque export (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.