| Thu, 04 May 2017 15:38:24 +0200 | wenzelm | clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots; | changeset | files |
| Thu, 04 May 2017 15:31:27 +0200 | wenzelm | clarified database layout: pull date progression follows Isabelle only, and AFP is derived from that; | changeset | files |
| Thu, 04 May 2017 15:20:57 +0200 | wenzelm | redundant; | changeset | files |