| 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 |
| 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 |
| Sun, 08 Dec 2024 20:09:14 +0100 | wenzelm | more markup (without rendering): class, type constructor, term constant --- similar to free, bound, etc.; | file | diff | annotate |
| Sat, 07 Dec 2024 23:50:18 +0100 | wenzelm | clarified term positions and markup: syntax = true means this is via concrete syntax; | file | diff | annotate |