| Fri, 08 Nov 2024 13:27:26 +0100 | wenzelm | clarified signature with subtle change of semantics: output consists of individual messages that are formatted (and separated) internally; | changeset | files |
| Thu, 07 Nov 2024 20:43:25 +0100 | wenzelm | more accurate message boundaries; | changeset | files |
| Thu, 07 Nov 2024 20:37:11 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 07 Nov 2024 20:29:52 +0100 | wenzelm | clarified signature: more robust type XML.Elem; | changeset | files |
| Thu, 07 Nov 2024 20:08:50 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 07 Nov 2024 20:02:10 +0100 | wenzelm | clarified signature; | changeset | files |
| Thu, 07 Nov 2024 16:13:58 +0100 | wenzelm | clarified output representation: postpone Pretty.separate; | changeset | files |
| Thu, 07 Nov 2024 16:03:53 +0100 | wenzelm | tuned; | changeset | files |