| Fri, 21 Mar 2025 18:37:05 +0100 | wenzelm | support for writeln_urgent, which is shown in Output before state messages (reminiscent of old Output.urgent_message before 521cea5fa777); | file | diff | annotate |
| Mon, 04 Nov 2024 22:05:20 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Thu, 12 Sep 2024 14:42:04 +0200 | wenzelm | tuned: trim message before formatting; | file | diff | annotate |
| Mon, 01 Jul 2024 12:40:54 +0200 | wenzelm | clarified signature: more explicit XML.Body types, more uniform Symbol.encode_yxml; | file | diff | annotate |
| Sat, 04 Mar 2023 12:16:58 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 02 Jan 2023 12:34:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 02 Jan 2023 12:29:08 +0100 | wenzelm | clarified signature: uniform master_dir instead of separate field; | file | diff | annotate |