#809 (Mar 18, 2017, 12:10:07 AM)

1. merged (detail / hgweb)
2. tuned; (detail / hgweb)
3. proper columns; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. more general signature: not limited to SQLite; (detail / hgweb)
6. suppress inlined properties from log output; (detail / hgweb)
7. prefer database, but also accept log.gz from historic versions; (detail / hgweb)
8. more robust JDBC initialization, e.g. required for Isabelle/jEdit startup; (detail / hgweb)
9. maintain persistent session info in SQLite database instead of log file; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned; (detail / hgweb)
13. tuned message; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. more selective queries; (detail / hgweb)
16. clarified data representation; (detail / hgweb)
17. data representation with XML.Cache;
    tuned; (detail / hgweb)
18. clarified name; (detail / hgweb)
19. SQL database operations for combined session info; (detail / hgweb)
20. prefer non-strict default; (detail / hgweb)
21. clarified signature (again, see also 3ed43cfc8b14); (detail / hgweb)
22. tuned signature; (detail / hgweb)
23. tuned; (detail / hgweb)
24. tuned comments; (detail / hgweb)
25. clarified message: exception output usally happens in a context without extra newline; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 44 min total from scheduled to completion.