#408 (Aug 29, 2017, 1:40:27 AM)

1. merged (detail / hgweb)
2. final cleanup of negligible_standard_hyperplane and other things (detail / hgweb)
3. merged (detail / hgweb)
4. sorted out cases in negligible_standard_hyperplane (detail / hgweb)
5. Unscrambling continues as far as negligible_standard_hyperplane (detail / hgweb)
6. unscrambled has_integral_restrict_open_subinterval (detail / hgweb)
7. merged (detail / hgweb)
8. Giant cleanup of fundamental_theorem_of_calculus_interior (detail / hgweb)
9. work on indefinite_integral_continuous_left, etc. (detail / hgweb)
10. merged (detail / hgweb)
11. not ready for release; (detail / hgweb)
12. updated to cygwin-20170828, which is close to Cygwin 2.8.2-1; (detail / hgweb)
13. merged (detail / hgweb)
14. added eta_expansion and its documentation. (detail / hgweb)
15. More material on infinite sums (detail / hgweb)

Started by an SCM change

This run spent:

• 50 min waiting;
• 1 hr 16 min build duration;
• 2 hr 7 min total from scheduled to completion.