#1524 (Mar 15, 2018, 10:40:05 PM)

1. more accurate isabelle_id: parent directory is not necessarily at tip; (detail / hgweb)
2. store session: per Server/Context, not Connection;
   support for "session_stop"; (detail / hgweb)
3. clarified server log;
   tuned options; (detail / hgweb)
4. support for "session_start"; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 50 min build duration;
• 55 min total from scheduled to completion.