#1122 (Aug 29, 2017, 12:43:06 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)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 57 min build duration;
• 1 hr 2 min total from scheduled to completion.