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