#580 (Mar 16, 2018, 12:50:11 AM)

1. more comments; (detail / hgweb)
2. tuned message -- more readable JSON; (detail / hgweb)
3. more accurate isabelle_id: parent directory is not necessarily at tip; (detail / hgweb)
4. store session: per Server/Context, not Connection;
   support for "session_stop"; (detail / hgweb)
5. clarified server log;
   tuned options; (detail / hgweb)
6. support for "session_start"; (detail / hgweb)
7. updated user name; (detail / hgweb)
8. clarified message; (detail / hgweb)
9. clarified message; (detail / hgweb)
10. more uniform id; (detail / hgweb)
11. prefer non-strict defaults; (detail / hgweb)
12. clarified default; (detail / hgweb)
13. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.8 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.