| 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 |