Wed, 24 Nov 2021 22:57:33 +0100 | wenzelm | option document_comment_latex supports e.g. Dagstuhl LIPIcs; | changeset | files |
Wed, 24 Nov 2021 21:04:39 +0100 | wenzelm | more explicit type Latex.Tags; | changeset | files |
Wed, 24 Nov 2021 15:33:43 +0100 | wenzelm | more uniform treatment of optional_argument for Latex elements; | changeset | files |
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 |