#373 (Mar 18, 2017, 1:33:12 AM)

Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

1. fixed by simp add: greaterThan_0 (detail)
2. replaced or repaired proofs (by simp add: Complex_eq) (detail)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 17 hr build duration;
• 17 hr total from scheduled to completion.