#474 (Nov 13, 2017, 12:50:07 AM)

1. synchronous use_theories, based on consolidated_state; (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. optional session_base, e.g. from existing Sessions.Deps in build.scala; (detail / hgweb)
4. synchronous session start (similar to isabelle.vscode.Server); (detail / hgweb)
5. tuned signature (again, see 1a9e2a2bf251); (detail / hgweb)
6. tuned signature; (detail / hgweb)
7. simplified: eliminated pointless Thy_Document_Model; (detail / hgweb)
8. theory nodes are never visible: avoid prints, which are not covered by node_consolidated; (detail / hgweb)
9. load theories via PIDE document update;
   theory nodes are always required; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. PIDE resources for theory files; (detail / hgweb)
12. tuned; (detail / hgweb)
13. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.