#671 (Jun 27, 2018, 12:50:08 AM)

1. merged (detail / hgweb)
2. smart_implode "$AFP" as well; (detail / hgweb)
3. merged (detail / hgweb)
4. a few new lemmas (detail / hgweb)
5. new theory Trie (detail / hgweb)
6. merged (detail / hgweb)
7. tuned; (detail / hgweb)
8. updated documentation; (detail / hgweb)
9. clarified syntax; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. simplified: allow only command names, with dummy for default; (detail / hgweb)
12. clarified: more uniform keyword_tags; (detail / hgweb)
13. tuned; (detail / hgweb)
14. more flexible document_tags; (detail / hgweb)
15. prefer explicit options;
    tuned; (detail / hgweb)
16. clarified default tag; (detail / hgweb)
17. add URL; (detail / hgweb)
18. tuned; (detail / hgweb)
19. more explicit statement of rat_denum to fit with top100 thms list (detail / hgweb)
20. deleted redundant theorem (detail / hgweb)
21. merged (detail / hgweb)
22. Rationalisation of complex transcendentals, esp the Arg function (detail / hgweb)
23. support NUMA shuffling in CI (detail / hgweb)
24. merged (detail / hgweb)
25. more scalable output; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 32 min total from scheduled to completion.