| Tue, 29 Jul 2025 22:45:09 +0200 |
wenzelm |
minor performance tuning;
|
file |
diff |
annotate
|
| Tue, 29 Jul 2025 22:42:35 +0200 |
wenzelm |
clarified signature: builtin filter;
|
file |
diff |
annotate
|
| Tue, 29 Jul 2025 19:59:04 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 28 Jul 2025 20:13:46 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 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
|
| Wed, 18 Dec 2024 16:03:07 +0100 |
wenzelm |
more uniform Markup.notation vs. Markup.expression;
|
file |
diff |
annotate
|