| Sat, 30 Nov 2024 13:41:38 +0100 | wenzelm | tuned: more direct use of Name.context operations; | file | diff | annotate |
| Fri, 29 Nov 2024 17:40:15 +0100 | wenzelm | clarified signature: shorten common cases; | file | diff | annotate |
| Thu, 28 Nov 2024 14:12:13 +0100 | wenzelm | tuned signature; | file | diff | annotate |