#431 (Oct 1, 2017, 12:50:06 AM)

1. updated Sledgehammer docs (detail / hgweb)
2. added veriT component (detail / hgweb)
3. more and updated documentation; (detail / hgweb)
4. more and updated documentation; (detail / hgweb)
5. discontinued rudiments of BSD support;
   tuned comments; (detail / hgweb)
6. tuned; (detail / hgweb)
7. NEWS; (detail / hgweb)
8. x86-cygwin for tools is no longer supported; (detail / hgweb)
9. updated to x86_64-cygwin; (detail / hgweb)
10. updated to x86_64-cygwin; (detail / hgweb)
11. auto update; (detail / hgweb)
12. "windows" application is always x86_64; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.