| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| Thu, 04 Mar 2021 21:04:27 +0100 | wenzelm | clarified signature --- fewer warnings; | file | diff | annotate |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | file | diff | annotate |
| Mon, 16 Mar 2015 16:59:59 +0100 | wenzelm | proper headers; | file | diff | annotate |
| Mon, 05 May 2014 09:24:34 +0200 | wenzelm | tuned signature; | file | diff | annotate | base |