Sat, 15 Jul 2023 19:34:48 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
Sat, 15 Jul 2023 14:06:53 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
Sat, 15 Jul 2023 13:38:01 +0200 | wenzelm | clarified signature; | changeset | files |