| Tue, 28 Feb 2023 17:16:50 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 28 Feb 2023 17:12:39 +0100 | wenzelm | simplified somewhat pointless error message (see also 0189fe0f6452); | changeset | files |
| Tue, 28 Feb 2023 16:25:23 +0100 | wenzelm | clafified signature: simplify object-oriented reuse; | changeset | files |