#1050 (Aug 31, 2017, 11:31:30 AM)

1. merge (detail / hgweb)
2. restructured matrix-library to use syntactic +,-,... classes, more uniform lemma-names (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 48 min build duration;
• 49 min total from scheduled to completion.