| Wed, 12 Mar 2025 11:22:08 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 12 Mar 2025 11:11:45 +0100 | wenzelm | more on "Explicit highlighting" and "Search" field; | changeset | files |
| Wed, 12 Mar 2025 11:07:16 +0100 | wenzelm | tuned NEWS: horizontal position is treated, too; | changeset | files |
| Wed, 12 Mar 2025 00:12:42 +0100 | wenzelm | more on nested syntax structure; | changeset | files |