| Mon, 30 Sep 2024 23:32:26 +0200 | wenzelm | clarified syntax: use outer block (with indent); | file | diff | annotate |
| Mon, 30 Sep 2024 20:30:59 +0200 | wenzelm | clarified inner-syntax markup, notably for enumerations: prefer "notation=mixfix" over "entity" via 'syntax_consts' (see also 70076ba563d2); | file | diff | annotate |