| Sun, 28 Aug 2022 11:53:48 +0200 | wenzelm | tuned antiquotations; | file | diff | annotate |
| Thu, 09 Dec 2021 09:40:15 +0100 | nipkow | missing latex font | file | diff | annotate |
| Thu, 09 Dec 2021 08:32:29 +0100 | nipkow | Rewrite: added links to docu, made more prominent | file | diff | annotate | base |