| Sun, 09 Oct 2016 15:28:18 +0200 | wenzelm | inline session ML statistics into main build log; | changeset | files |
| Sun, 09 Oct 2016 14:19:46 +0200 | wenzelm | modernized; | changeset | files |
| Sat, 08 Oct 2016 22:36:22 +0200 | wenzelm | build_history log files with formal meta info; | changeset | files |
| 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 |
| Sat, 08 Oct 2016 14:09:53 +0200 | haftmann | dedicated syntax for types with a length | changeset | files |