#1140 (Aug 31, 2017, 8:43:02 PM)

1. merged (detail / hgweb)
2. template for $ISABELLE_HOME_USER/ROOTS; (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified signature: provide all_known information uniformly (it is subject to Sessions.T selection); (detail / hgweb)
5. reverted 6acb28e5ba41: permissiveness of 1e5ae735e026 should be sufficient; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tolerate errors in session structure, although this may lead to confusion about theory imports later on; (detail / hgweb)
8. clarified errors; (detail / hgweb)
9. clarified signature;
   tuned ssh.prefix; (detail / hgweb)
10. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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