| Mon, 13 Oct 2025 21:47:39 +0200 | wenzelm | clarified Progress.output and related operations: prefer bulk messages of general type Progress.Msg; | file | diff | annotate |
| Thu, 07 Nov 2024 16:13:58 +0100 | wenzelm | clarified output representation: postpone Pretty.separate; | file | diff | annotate |
| Tue, 12 Mar 2024 15:57:25 +0100 | wenzelm | clarified modules; | file | diff | annotate |