| Fri, 06 Dec 2024 22:40:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 06 Dec 2024 20:26:33 +0100 | wenzelm | clarified renaming of bounds, using Syntax_Trans.variant_bounds: avoid structures and fixed variables with syntax; | file | diff | annotate |
| Fri, 06 Dec 2024 15:20:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 06 Dec 2024 13:33:25 +0100 | wenzelm | clarified printing of consts: rename apart from all bounds, and thus avoid old Term.declare_free_names with its adhoc policy ("as they are printed"); | file | diff | annotate |
| Sat, 30 Nov 2024 19:21:38 +0100 | wenzelm | eliminate historic clone (see also 550e36c6a2d1); | file | diff | annotate |
| Fri, 29 Nov 2024 11:26:17 +0100 | wenzelm | tuned: more standard Name.build_context, although that is a bit longer; | file | diff | annotate |
| Tue, 22 Oct 2024 19:26:40 +0200 | wenzelm | more concise representation of term positions; | file | diff | annotate |