Sun, 27 Jul 2025 13:49:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 29 Jun 2025 16:16:22 +0200 | wenzelm | clarified signature: more explicit operations; | file | diff | annotate |
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 |
Thu, 26 Dec 2024 13:44:10 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Thu, 26 Dec 2024 12:08:05 +0100 | wenzelm | clarified output; | file | diff | annotate |
Tue, 24 Dec 2024 14:59:56 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 23 Dec 2024 14:09:43 +0100 | wenzelm | tuned signature; | file | diff | annotate |