#1263 (Nov 1, 2017, 5:55:06 PM)

1. tuned output; (detail / hgweb)
2. tuned; (detail / hgweb)
3. logic_selector refers to raw logic name; (detail / hgweb)
4. clarified terminology; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. do not store bulky Session.Deps; (detail / hgweb)
7. avoid duplicate invocation of expensive Sessions.deps on full_sessions;
   tuned; (detail / hgweb)
8. added isabelle jedit options -B, -P, clarified -R;
   misc tuning and clarification; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 52 min build duration;
• 57 min total from scheduled to completion.