#581 (Mar 17, 2018, 12:50:10 AM)

1. prefer typed UUID; (detail / hgweb)
2. unload_theories after consolidation -- reset node_required;
   proper node_perspective (amending 0d8e4e777973); (detail / hgweb)
3. support for "use_theories"; (detail / hgweb)
4. JSON representation for Position.T; (detail / hgweb)
5. interruptible exploration of dependencies; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. tuned message; (detail / hgweb)
10. proper options; (detail / hgweb)
11. tuned options; (detail / hgweb)

Started by an SCM change

This run spent:

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