| Mon, 19 May 2014 16:51:44 +0200 | wenzelm | obsolete -- always pdf; | file | diff | annotate |
| Mon, 19 May 2014 16:48:29 +0200 | wenzelm | prefer T1 with searchable underscore (requires proper cm-super fonts); | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | wenzelm | renamed doc-src to src/Doc; | file | diff | annotate | base |