| 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); | changeset | files |
| Mon, 30 Sep 2024 13:00:42 +0200 | wenzelm | less markup: prefer "notatation" over "entity"; | changeset | files |
| Mon, 30 Sep 2024 12:59:50 +0200 | wenzelm | clarify comparison of output: ignore token positions, which are somewhat accidental; | changeset | files |
| Mon, 30 Sep 2024 11:42:52 +0200 | wenzelm | clarified order of markup: more uniform input vs. output; | changeset | files |
| Mon, 30 Sep 2024 10:50:33 +0200 | wenzelm | misc tuning; | changeset | files |
| Mon, 30 Sep 2024 10:46:26 +0200 | wenzelm | clarified parse tree: always provide root node; | changeset | files |
| Mon, 30 Sep 2024 10:44:25 +0200 | wenzelm | tuned signature; | changeset | files |