Tue, 09 Jan 2024 16:04:21 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 09 Jan 2024 15:14:49 +0100 | wenzelm | tuned names; | changeset | files |
Tue, 09 Jan 2024 12:18:01 +0100 | wenzelm | clarified signature; | changeset | files |
Tue, 09 Jan 2024 12:06:07 +0100 | wenzelm | tuned whitespace; | changeset | files |
Tue, 09 Jan 2024 11:57:16 +0100 | wenzelm | clarified modules; | changeset | files |
Tue, 09 Jan 2024 11:54:36 +0100 | wenzelm | clarified signature; | changeset | files |