| Sat, 11 Feb 2023 20:05:30 +0100 | wenzelm | clarified signature and terminology; | changeset | files |
| Sat, 11 Feb 2023 16:38:29 +0100 | wenzelm | clarified signature: avoid adhoc constants; | changeset | files |
| Sat, 11 Feb 2023 14:24:20 +0100 | wenzelm | tuned; | changeset | files |