| Tue, 29 Jul 2025 22:45:09 +0200 | wenzelm | minor performance tuning; | file | diff | annotate |
| Tue, 29 Jul 2025 22:42:35 +0200 | wenzelm | clarified signature: builtin filter; | file | diff | annotate |
| Tue, 29 Jul 2025 19:59:04 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 28 Jul 2025 20:13:46 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 27 Jul 2025 13:49:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 29 Jun 2025 16:16:22 +0200 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |