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 |
Sat, 20 Nov 2021 13:53:34 +0100 | wenzelm | clarified hook for Mirabelle (again): cover all 'theories' sections within ROOT (see also 9ead8d9be3ab); | changeset | files |
Sat, 20 Nov 2021 12:59:53 +0100 | wenzelm | tuned; | changeset | files |
Sat, 20 Nov 2021 12:53:18 +0100 | wenzelm | tuned; | changeset | files |