#644 (May 29, 2018, 1:15:33 AM)

1. merged (detail / hgweb)
2. support to dump build database produced by PIDE session; (detail / hgweb)
3. more accurate theory_graph: avoid imports of loaded_theories with incomplete node name; (detail / hgweb)
4. clarified signature: Known.theories retains Document.Node.Entry (with header); (detail / hgweb)
5. clarified signature; (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. merged (detail / hgweb)
8. tidying up a bit more (detail / hgweb)

Started by an SCM change

This run spent:

• 25 min waiting;
• 1 hr 15 min build duration;
• 1 hr 41 min total from scheduled to completion.