#401 (Aug 22, 2017, 1:24:38 AM)

1. HOL-Analysis: Convergent FPS and infinite sums (detail / hgweb)
2. proper argument type (amending 8d5cb4ea2b7c); (detail / hgweb)
3. tuned; (detail / hgweb)
4. updated for release; (detail / hgweb)
5. tuned; (detail / hgweb)
6. misc updates for release; (detail / hgweb)
7. tuned; (detail / hgweb)
8. tuned; (detail / hgweb)
9. misc tuning and updates for release; (detail / hgweb)
10. updated to sqlite-jdbc-3.20.0; (detail / hgweb)
11. updated to postgresql-42.1.4; (detail / hgweb)
12. avoid compound edit: it causes confusion about the context of the last line, e.g. final "end"; (detail / hgweb)
13. added missing file (cf. 9098c36abd1a); (detail / hgweb)

Started by an SCM change

This run spent:

• 34 min waiting;
• 1 hr 19 min build duration;
• 1 hr 54 min total from scheduled to completion.