| Wed, 21 Dec 2016 22:37:53 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 21 Dec 2016 22:27:38 +0100 | wenzelm | tuned signature -- more explicit types; | file | diff | annotate |
| Wed, 21 Dec 2016 21:17:44 +0100 | wenzelm | clarified border cases; | file | diff | annotate |
| Tue, 20 Dec 2016 17:46:44 +0100 | wenzelm | proper reset of column (amending 01e50039edc9); | file | diff | annotate |
| Tue, 20 Dec 2016 16:08:02 +0100 | wenzelm | more systematic text length wrt. encoding; | file | diff | annotate |
| Tue, 20 Dec 2016 10:44:36 +0100 | wenzelm | more systematic text length; | file | diff | annotate |
| Tue, 20 Dec 2016 10:06:18 +0100 | wenzelm | unused; | file | diff | annotate |
| Tue, 20 Dec 2016 08:57:03 +0100 | wenzelm | clarified modules; | file | diff | annotate | base |