| Tue, 29 Jul 2025 17:01:57 +0200 | wenzelm | more markup for batch build: command ranges with trailing whitespace; | file | diff | annotate |
| Sun, 27 Jul 2025 16:41:25 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 27 Jul 2025 16:28:10 +0200 | wenzelm | more direct support for "command_span" markup property "is_begin"; | file | diff | annotate |