#294 (Apr 7, 2017, 12:50:11 AM)

1. clarified signature: tree structure is not essential; (detail / hgweb)
2. merged (detail / hgweb)
3. misc tuning and modernization; (detail / hgweb)
4. merged (detail / hgweb)
5. use Item_Net to store inductive info (detail / hgweb)
6. tuned whitespace; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. more accurate qualified lookup;
   tuned; (detail / hgweb)
9. clarified fall-back name; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned whitespace; (detail / hgweb)
12. clarified modules; (detail / hgweb)
13. clarified checks -- avoid duplicated messages (amending 60c159d490a2); (detail / hgweb)
14. proper default (amending 601866c61ded); (detail / hgweb)
15. Fixed import path in Factorial_Ring (detail / hgweb)
16. Merged (detail / hgweb)
17. Merged (detail / hgweb)
18. Tuned (detail / hgweb)
19. Merged (detail / hgweb)
20. moved AFP material to Formal_Power_Series; renamed E/L/F in Formal_Power_Series (detail / hgweb)
21. moved material from AFP to distribution (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.