| Tue, 26 Mar 2024 21:34:08 +0100 | wenzelm | more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51); | file | diff | annotate |
| Sun, 09 Jul 2023 17:39:46 +0200 | wenzelm | more markup for command_span: this allows to reconstruct Thy_Element structure without knowing the outer syntax; | file | diff | annotate |
| Wed, 10 May 2023 20:30:46 +0200 | wenzelm | more informative position information; | file | diff | annotate |
| Sat, 14 Jan 2023 22:24:01 +0100 | wenzelm | proper language context; | file | diff | annotate |
| Sat, 14 Jan 2023 19:47:02 +0100 | wenzelm | more operations: use proper constants; | file | diff | annotate |
| Fri, 13 Jan 2023 19:16:24 +0100 | wenzelm | clarified types; | file | diff | annotate |
| Fri, 13 Jan 2023 19:07:18 +0100 | wenzelm | more explicit language context; | file | diff | annotate |