#1267 (Nov 2, 2017, 1:55:03 PM)

1. allow unrelated ancestor;
   clarified error; (detail / hgweb)
2. tuned; (detail / hgweb)
3. support alternative ancestor session; (detail / hgweb)
4. support focus_session, for much faster startup of Isabelle/jEdit;
   more options for "isabelle jedit"; (detail / hgweb)

Started by an SCM change

This run spent:

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