#1527 (Mar 16, 2018, 7:04:06 PM)

1. support for "use_theories"; (detail / hgweb)
2. JSON representation for Position.T; (detail / hgweb)
3. interruptible exploration of dependencies; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. tuned message; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.