#1017 (Sep 25, 2019, 12:50:08 AM)

1. merged (detail / hgweb)
2. merged (detail / hgweb)
3. simplified proofs (detail / hgweb)
4. some information about Phabricator server setup; (detail / hgweb)
5. More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist. (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 23 min total from scheduled to completion.