| 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 |