| Sat, 11 Feb 2023 21:13:28 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Sat, 11 Feb 2023 20:54:24 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sat, 11 Feb 2023 20:09:37 +0100 | wenzelm | tuned message: old_time not sufficiently prominent nor accurate to be printed; | file | diff | annotate |
| Sat, 11 Feb 2023 20:05:30 +0100 | wenzelm | clarified signature and terminology; | file | diff | annotate |
| Sat, 11 Feb 2023 14:18:31 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Sat, 11 Feb 2023 14:16:54 +0100 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Sat, 11 Feb 2023 12:09:42 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 11 Feb 2023 11:42:13 +0100 | wenzelm | clarified modules; | file | diff | annotate |