| Sun, 13 Dec 2020 22:43:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 22:30:30 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 19:04:46 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 17:48:51 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 13 Dec 2020 16:35:37 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Thu, 10 Dec 2020 17:01:59 +0100 | wenzelm | clarified types; | file | diff | annotate |
| Thu, 10 Dec 2020 16:35:56 +0100 | wenzelm | clarified signature: more specific types; | file | diff | annotate |