#845 (Jan 17, 2019, 1:44:14 AM)

1. Reorg, in particular Determinants as well as some linear algebra from Starlike and Change_Of_Vars (detail / hgweb)
2. bundle syntax for inner (detail / hgweb)
3. merged (detail / hgweb)
4. tuned; (detail / hgweb)
5. support pruning of export names; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. Reorg of material (detail / hgweb)
8. redundant lemma (detail / hgweb)
9. tuned headers (detail / hgweb)
10. Reorg of material (detail / hgweb)
11. tuned headers (detail / hgweb)
12. merged (detail / hgweb)
13. moved and renamed class (detail / hgweb)

Started by an SCM change

This run spent:

• 54 min waiting;
• 1 hr 16 min build duration;
• 2 hr 10 min total from scheduled to completion.