| Fri, 04 Nov 2022 20:02:54 +0100 | wenzelm | prefer explicit utf8 for old pdflatex; | changeset | files |
| Fri, 04 Nov 2022 19:59:00 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 04 Nov 2022 19:57:21 +0100 | wenzelm | proper chapter (amending 809cd1195795); | changeset | files |