| Mon, 28 Sep 2020 16:23:15 +0200 | wenzelm | obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); | file | diff | annotate |
| Mon, 12 Oct 2015 19:41:10 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Sat, 23 May 2015 22:13:24 +0200 | wenzelm | prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive; | file | diff | annotate |
| Sun, 02 Nov 2014 16:50:42 +0100 | wenzelm | obsolete; | file | diff | annotate |
| Fri, 02 May 2014 07:54:23 +0200 | nipkow | new documentation: How to Prove it | file | diff | annotate |