| 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 |