#842 (Apr 13, 2017, 2:01:05 PM)

1. merged (detail / hgweb)
2. clarified init_session_base / finish_session_base: retain some information for plain "isabelle process", without rechecking dependencies as in "isabelle console"; (detail / hgweb)
3. clarified directories; (detail / hgweb)
4. tuned signature (again); (detail / hgweb)
5. proper bootstrap base for building Pure; (detail / hgweb)
6. tuned according to Scala version; (detail / hgweb)
7. more global theories; (detail / hgweb)
8. tuned; (detail / hgweb)
9. clarified loaded_theories: map to qualified theory name;
   proper theory_name for PIDE editors; (detail / hgweb)
10. global session_base for PIDE interaction; (detail / hgweb)
11. more explicit jEdit file operations;
    less redundant JEdit_Resources.node_name(); (detail / hgweb)
12. early check and normalization of session directory, e.g. relevant for path information passed to ML process, which may have a different CWD; (detail / hgweb)
13. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 38 min total from scheduled to completion.