#882 (May 4, 2017, 5:29:23 PM)

1. merged (detail / hgweb)
2. clarified universal view: include pull_date; (detail / hgweb)
3. clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots; (detail / hgweb)
4. clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that; (detail / hgweb)
5. redundant; (detail / hgweb)

Started by an SCM change

This run spent:

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