| Tue, 23 Nov 2021 16:06:09 +0100 | wenzelm | output for document commands like 'section', 'text' is defined in user-space, as part of the command transaction; | changeset | files |
| Tue, 23 Nov 2021 12:29:09 +0100 | wenzelm | clarified modules; | changeset | files |
| Tue, 23 Nov 2021 12:04:01 +0100 | wenzelm | tuned signature: more explicit types for presentation; | changeset | files |