Mon, 30 Jun 2025 12:42:21 +0200 | wenzelm | inline errors as "bad" markup; | file | diff | annotate |
Mon, 23 Jun 2025 13:55:09 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Tue, 12 Nov 2024 11:32:07 +0100 | wenzelm | clarified persistent values: Command.Results does not suitable for caching, because it contains all other messages; | file | diff | annotate |
Tue, 12 Nov 2024 11:16:36 +0100 | wenzelm | omit redundant compact_source (see e1abca2527da): Command_Span.unparsed consists of one token with the original source; | file | diff | annotate |
Tue, 12 Nov 2024 11:04:54 +0100 | wenzelm | tuned; | file | diff | annotate |
Sun, 10 Nov 2024 15:11:04 +0100 | wenzelm | obsolete; | file | diff | annotate |
Sun, 10 Nov 2024 13:40:28 +0100 | wenzelm | minor performance tuning: avoid concatenation of existing string material; | file | diff | annotate |