| Sat, 11 Feb 2017 22:53:31 +0100 | haftmann | more fun without recdef | changeset | files |
| Fri, 10 Feb 2017 11:39:23 +0100 | wenzelm | merged | changeset | files |
| Fri, 10 Feb 2017 11:15:52 +0100 | wenzelm | proper transaction for PostgreSQL; | changeset | files |
| Fri, 10 Feb 2017 11:04:28 +0100 | wenzelm | clarified Date storage; | changeset | files |
| Fri, 10 Feb 2017 10:34:14 +0100 | wenzelm | more operations; | changeset | files |
| Fri, 10 Feb 2017 10:01:54 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 10 Feb 2017 09:55:08 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 10 Feb 2017 11:13:19 +0100 | blanchet | renamings | changeset | files |