| Sun, 27 Jul 2025 16:46:34 +0200 | wenzelm | clarified signature; | 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 |
| Sat, 28 Jun 2025 15:55:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Jun 2025 14:44:15 +0200 | wenzelm | tuned signature: more generic operations; | file | diff | annotate |
| Mon, 23 Jun 2025 13:41:18 +0200 | wenzelm | tuned comments; | file | diff | annotate |