| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Fri, 03 Jul 2015 14:32:55 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |