| 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 |
| Sun, 29 Sep 2024 22:47:14 +0200 | wenzelm | tuned markup; | changeset | files |
| Sun, 29 Sep 2024 21:57:47 +0200 | wenzelm | clarified markup: avoid conflict of "notation" with "entity", e.g. in "[x,y,z]" without spaces; | changeset | files |