| Mon, 23 Dec 2024 14:09:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 18 Dec 2024 16:03:07 +0100 | wenzelm | more uniform Markup.notation vs. Markup.expression; | file | diff | annotate |
| Sun, 08 Dec 2024 19:05:05 +0100 | wenzelm | tuned: more robust wrt. changes the Markup space; | file | diff | annotate |