| Tue, 23 Nov 2021 21:43:45 +0100 | wenzelm | removed pointless 'text_cartouche' command: regular 'text' already supports cartouches; | changeset | files |
| Tue, 23 Nov 2021 21:02:13 +0100 | wenzelm | example: alternative document headings, based on more general document output markup; | changeset | files |
| Tue, 23 Nov 2021 20:46:40 +0100 | wenzelm | more general document output: enclosing markup is defined in user-space; | changeset | files |