| Tue, 18 May 2021 15:17:55 +0200 | wenzelm | option document_logo; | file | diff | annotate |
| Tue, 09 Mar 2021 18:44:43 +0100 | wenzelm | removed unused latex packages; | file | diff | annotate |
| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | file | diff | annotate |
| Fri, 17 Apr 2020 22:13:50 +0200 | wenzelm | discontinued somewhat incoherent patches (see also 3b36fc4916af); | file | diff | annotate |
| Fri, 17 Apr 2020 21:48:50 +0200 | wenzelm | use friendlier package; | file | diff | annotate |
| Wed, 26 Dec 2018 15:28:23 +0100 | wenzelm | unused -- document lacks {* ... *}; | file | diff | annotate |
| Sat, 02 Apr 2016 17:11:27 +0200 | blanchet | tuned LaTeX | file | diff | annotate |