Sun, 15 Jun 2025 23:09:43 +0200 | wenzelm | tuned message; | file | diff | annotate |
Sun, 15 Jun 2025 15:19:03 +0200 | wenzelm | clarified signature: more modular, avoid adhoc mixins; | file | diff | annotate |
Sat, 14 Jun 2025 21:19:37 +0200 | wenzelm | clarified signature; | file | diff | annotate |