| Wed, 03 May 2017 15:24:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 May 2017 15:16:55 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 May 2017 15:10:22 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 03 May 2017 14:55:34 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 03 May 2017 13:54:22 +0200 | wenzelm | clarified pull_date tables; | changeset | files |
| Tue, 02 May 2017 23:31:00 +0200 | wenzelm | views for full PostgreSQL database; | changeset | files |
| Tue, 02 May 2017 23:21:53 +0200 | wenzelm | eliminated redundant type SQL.View; | changeset | files |
| Tue, 02 May 2017 21:57:32 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 May 2017 21:42:03 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 02 May 2017 21:38:23 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 May 2017 14:39:04 +0100 | paulson | two new theorems | changeset | files |
| Tue, 02 May 2017 18:27:51 +0200 | wenzelm | merged | changeset | files |
| Tue, 02 May 2017 15:29:45 +0200 | wenzelm | detect old log files (early 2016); | changeset | files |
| Tue, 02 May 2017 15:10:04 +0200 | wenzelm | explicit support for multiple regexes; | changeset | files |
| Tue, 02 May 2017 14:40:48 +0200 | wenzelm | some derived data fields, to facilitate queries; | changeset | files |