| Fri, 06 Dec 2024 21:27:07 +0100 | wenzelm | merged | changeset | files |
| Fri, 06 Dec 2024 20:46:24 +0100 | wenzelm | NEWS; | changeset | files |
| 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; | changeset | files |
| Fri, 06 Dec 2024 15:20:43 +0100 | wenzelm | tuned signature; | changeset | files |
| 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"); | changeset | files |
| Tue, 03 Dec 2024 22:46:24 +0100 | wenzelm | prefer Term.variant_bounds: bounds vs. frees, no attempt at consts; | changeset | files |