#656 (Jun 12, 2018, 12:50:11 AM)

1. merged (detail / hgweb)
2. tidier Cauchy proofs (detail / hgweb)
3. merged (detail / hgweb)
4. more abstract Export.Provider; (detail / hgweb)
5. clarified signature: persistent results; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. tuned def. of del and proved preservation of rbt (finally) (detail / hgweb)
8. merged (detail / hgweb)
9. tuned order of arguments (detail / hgweb)
10. default value for parametricity of dim (detail / hgweb)
11. added lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.