Tue, 22 Jul 2014 14:36:31 +0200 | wenzelm | evade problems with MikTeX on Windows; | file | diff | annotate |
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 |