#1074 (Dec 3, 2019, 12:50:11 AM)

1. merged (detail / hgweb)
2. tuned Analysis manual (detail / hgweb)
3. tuned Analysis manual (detail / hgweb)
4. more rules (detail / hgweb)
5. tuned material (detail / hgweb)
6. tuned manual (detail / hgweb)
7. Removed duplicate theorems from HOL-Analysis (detail / hgweb)
8. Flattened dependency tree of HOL-Analysis (detail / hgweb)
9. Merged (detail / hgweb)
10. Simplified Harmonic_Numbers (detail / hgweb)
11. Split off new HOL-Complex_Analysis session from HOL-Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 9.2 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.