#917 (Apr 14, 2019, 12:50:09 AM)

1. tuned signature; (detail / hgweb)
2. prefer ctyp operations; (detail / hgweb)
3. meson: more cterm operations; (detail / hgweb)
4. more ctyp operations; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified: use existing Thm.dest_ctyp_fun (which is more strict); (detail / hgweb)
7. prefer exception TYPE, e.g. when used within conversion; (detail / hgweb)
8. tuned signature -- more ctyp operations; (detail / hgweb)
9. clarified group of "main" library sessions; (detail / hgweb)
10. tuned signature -- more ctyp operations; (detail / hgweb)
11. merged (detail / hgweb)
12. tuned signature: more operations; (detail / hgweb)
13. backed out a93e6472ac9c, which does not bring anything substantial: division_ring is not commutative in multiplication but semidom_divide is (detail / hgweb)
14. tuned (detail / hgweb)
15. more document structure (detail / hgweb)
16. tuned (detail / hgweb)
17. more abbrevs; (detail / hgweb)
18. obsolete; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.