| Sat, 20 Nov 2021 19:39:22 +0100 | wenzelm | proper enclose_name (amending e77c5bfca9aa); | changeset | files |
| Sat, 20 Nov 2021 18:58:23 +0100 | wenzelm | Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.; | changeset | files |
| Sat, 20 Nov 2021 18:15:09 +0100 | wenzelm | more symbolic latex_output via XML; | changeset | files |