#689 (Jul 16, 2018, 1:47:36 AM)

1. de-applying and meta-quantifying (detail / hgweb)
2. merged (detail / hgweb)
3. more renaming fixes (detail / hgweb)
4. fixes and more de-applying (detail / hgweb)
5. more de-applying and a fix (detail / hgweb)
6. merged (detail / hgweb)
7. last bit of renaming (detail / hgweb)
8. de-applying (detail / hgweb)
9. Added Real_Asymp package (detail / hgweb)
10. Tagged Conformal_Mappings in HOL-Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 57 min waiting;
• 1 hr 15 min build duration;
• 2 hr 13 min total from scheduled to completion.