doc-src/Classes/document/build
Tue, 28 Aug 2012 16:43:47 +0200 wenzelm prepare document more uniformly;
Tue, 28 Aug 2012 12:22:10 +0200 wenzelm prefer doc-src/pdfsetup.sty;
Mon, 27 Aug 2012 23:10:54 +0200 wenzelm missing file;
less more (0) tip