Tue, 28 Aug 2012 16:43:47 +0200 | wenzelm | prepare document more uniformly; | file | diff | annotate |
Tue, 28 Aug 2012 12:22:10 +0200 | wenzelm | prefer doc-src/pdfsetup.sty; | file | diff | annotate |
Mon, 27 Aug 2012 23:29:45 +0200 | wenzelm | avoid clash with generated Adaptation.tex on case-insensible file-systems; | file | diff | annotate |
Mon, 27 Aug 2012 23:00:38 +0200 | wenzelm | more standard document preparation within session context; | file | diff | annotate |