Sat, 08 Oct 2016 22:08:31 +0200 | wenzelm | prefer explicit timezone offset for printing; | changeset | files |
Sat, 08 Oct 2016 21:31:56 +0200 | wenzelm | tuned; | changeset | files |
Sat, 08 Oct 2016 14:09:55 +0200 | haftmann | tuned name of bit truncating operations | changeset | files |