#375 (Mar 20, 2017, 1:33:10 AM)

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

1. fix Shivers-CFA entry (detail)

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

1. updated to jedit-5.4.0; (detail)
2. misc tuning and modernization; (detail)
3. clarified signature: rowid is specific to SQLite; (detail)
4. proper primary key; (detail)
5. more general primary_key; (detail)
6. tuned; (detail)
7. more operations; (detail)
8. tuned; (detail)
9. proper SQL syntax (according of PostgreSQL); (detail)
10. access table via session_name: db may in principle contain multiple entries; (detail)
11. more operations; (detail)
12. eliminated somewhat redundant inlined name (despite a7aa17a1f721); (detail)

Started by an SCM change

This run spent:

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