| Mon, 11 Nov 2024 12:47:51 +0100 | wenzelm | clarified signature and modules; | file | diff | annotate |
| Fri, 06 Sep 2024 19:08:44 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 06 Sep 2024 15:46:51 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |