| Sat, 11 Nov 2023 22:14:38 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 11 Nov 2023 22:05:37 +0100 | wenzelm | clarified modules; | changeset | files |
| Sat, 11 Nov 2023 21:25:20 +0100 | wenzelm | clarified signature: more operations; | changeset | files |
| Sat, 11 Nov 2023 21:17:45 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 11 Nov 2023 21:08:21 +0100 | wenzelm | more NEWS; | changeset | files |
| Sat, 11 Nov 2023 21:06:54 +0100 | wenzelm | more TODO; | changeset | files |
| Sat, 11 Nov 2023 21:05:41 +0100 | wenzelm | prefer strict test of system options; | changeset | files |