| Tue, 30 Jul 2019 13:22:29 +0200 | wenzelm | tuned -- fewer warnings; | file | diff | annotate |
| Tue, 30 Jul 2019 13:19:14 +0200 | wenzelm | discontinued pointless messages; | file | diff | annotate |
| Tue, 30 Jul 2019 11:41:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 29 Jul 2019 11:09:37 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 29 Jul 2019 10:26:12 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 Jul 2019 12:06:38 +0200 | wenzelm | tuned; | file | diff | annotate |