| Thu, 07 Dec 2023 09:34:07 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Mon, 04 Dec 2023 19:24:39 +0100 | wenzelm | more operations; | file | diff | annotate |
| Fri, 21 Apr 2023 21:12:26 +0200 | wenzelm | more operations; | file | diff | annotate |
| Thu, 09 Sep 2021 16:00:34 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 09 Sep 2021 15:55:12 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 09 Sep 2021 15:45:27 +0200 | wenzelm | clarified modules; | file | diff | annotate |