#1560 (May 4, 2018, 4:20:09 PM)

1. merged (detail / hgweb)
2. fixed another summation from 0 (detail / hgweb)
3. fixed some proofs, replacing {0..n} by {..n} (detail / hgweb)

Started by an SCM change

This run spent:

• 6.5 sec waiting;
• 51 min build duration;
• 51 min total from scheduled to completion.