| Tue, 23 Nov 2021 20:46:40 +0100 | wenzelm | more general document output: enclosing markup is defined in user-space; | changeset | files |
| Tue, 23 Nov 2021 17:14:55 +0100 | wenzelm | clarified modules (see c299abcf7081); | changeset | files |
| 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 |