| Sat, 13 Aug 2022 16:12:22 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 13 Aug 2022 15:41:12 +0200 | wenzelm | clarified signature: avoid public representation; | changeset | files |
| Sat, 13 Aug 2022 15:09:10 +0200 | wenzelm | tuned signature; | changeset | files |