| Fri, 04 Nov 2022 20:02:54 +0100 | wenzelm | prefer explicit utf8 for old pdflatex; | file | diff | annotate |
| Fri, 04 Nov 2022 19:59:00 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 31 Oct 2022 15:50:13 +0100 | wenzelm | support for Dagstuhl LIPIcs style with demo document; | file | diff | annotate |