| Wed, 10 Jan 2024 13:43:10 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 10 Jan 2024 13:37:29 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 10 Jan 2024 13:33:36 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 10 Jan 2024 11:33:36 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 09 Jan 2024 22:40:38 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 09 Jan 2024 17:10:09 +0100 | wenzelm | misc tuning and clarification: prefer Same.operation; | file | diff | annotate |
| Tue, 09 Jan 2024 12:18:01 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 09 Jan 2024 12:06:07 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Tue, 09 Jan 2024 11:57:16 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 31 Dec 2023 22:39:40 +0100 | wenzelm | minor performance tuning: proper Same.operation; | file | diff | annotate |
| Sun, 31 Dec 2023 22:04:41 +0100 | wenzelm | minor performance tuning: proper Same.operation; | file | diff | annotate |
| Sat, 30 Dec 2023 21:40:48 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Sat, 30 Dec 2023 21:35:00 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Wed, 06 Dec 2023 15:58:20 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 05 Dec 2023 20:56:51 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |