| Sat, 07 Dec 2024 23:50:18 +0100 | wenzelm | clarified term positions and markup: syntax = true means this is via concrete syntax; | file | diff | annotate |
| Sat, 07 Dec 2024 21:42:59 +0100 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
| Thu, 07 Nov 2024 20:43:25 +0100 | wenzelm | more accurate message boundaries; | file | diff | annotate |
| Thu, 07 Nov 2024 20:37:11 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 07 Nov 2024 20:29:52 +0100 | wenzelm | clarified signature: more robust type XML.Elem; | file | diff | annotate |
| Fri, 01 Nov 2024 18:17:03 +0100 | wenzelm | clarified rendering: entity acts as atomic notation / expression; | file | diff | annotate |
| Fri, 01 Nov 2024 18:12:40 +0100 | wenzelm | more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements; | file | diff | annotate |