#221 (Jan 1, 2017, 12:50:11 AM)

1. more precise markup;
   tuned signature; (detail / hgweb)
2. automatically resolve dependencies from document models and file-system; (detail / hgweb)
3. clarified; (detail / hgweb)
4. tuned; (detail / hgweb)
5. ignore message; (detail / hgweb)
6. clarified node_visible; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. proper state update; (detail / hgweb)
9. proper log; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. proper import_name; (detail / hgweb)
14. more elementary rules about div / mod on int (detail / hgweb)
15. complete set of cases rules for integers known to be (non-)positive/negative;
    legacy theorem branding (detail / hgweb)
16. more facts on sgn, abs (detail / hgweb)
17. dropped slightly outdated comment (detail / hgweb)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 1 hr 3 min build duration;
• 1 hr 3 min total from scheduled to completion.