| Wed, 06 Nov 2024 15:52:31 +0100 | wenzelm | clarified signature, with subtle change of semantics: proper non-null result; | file | diff | annotate |
| Sun, 03 Nov 2024 21:04:12 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 03 Nov 2024 20:53:12 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 20:05:06 +0100 | wenzelm | more robust; | file | diff | annotate |
| Sun, 03 Nov 2024 20:01:26 +0100 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 03 Nov 2024 19:38:30 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |