| Mon, 13 Mar 2023 18:53:14 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 13 Mar 2023 17:32:29 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 13 Mar 2023 17:30:43 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 13 Mar 2023 17:22:43 +0100 | wenzelm | clarified signature: avoid confusion due to object-orientation; | changeset | files |
| Mon, 13 Mar 2023 16:53:08 +0100 | wenzelm | clarified modules; | changeset | files |
| Mon, 13 Mar 2023 15:53:31 +0100 | wenzelm | clarified signature: prefer explicit types; | changeset | files |