#720 (Aug 30, 2018, 12:50:09 AM)

1. prefer "locale begin ... end"; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. support Thy_Element in Scala, following ML version; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. clarified modules; (detail / hgweb)
10. tagged some theories (detail / hgweb)

Started by an SCM change

This run spent:

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