| 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, 18 Oct 2024 14:20:09 +0200 | wenzelm | more inner-syntax markup; | file | diff | annotate |