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