| Fri, 08 Nov 2024 14:44:29 +0100 | wenzelm | clarified signature: more uniform; | changeset | files |
| Fri, 08 Nov 2024 13:55:54 +0100 | wenzelm | tuned: fewer warnings in IntelliJ IDEA; | changeset | files |
| Fri, 08 Nov 2024 13:42:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 08 Nov 2024 13:37:13 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |