Tue, 28 Aug 2012 16:43:47 +0200 | wenzelm | prepare document more uniformly; | file | diff | annotate |
Tue, 28 Aug 2012 12:55:32 +0200 | wenzelm | updated IsarRef/document/style.sty; | file | diff | annotate |
Tue, 28 Aug 2012 12:22:10 +0200 | wenzelm | prefer doc-src/pdfsetup.sty; | file | diff | annotate |
Mon, 27 Aug 2012 17:11:55 +0200 | wenzelm | more standard document preparation within session context; | file | diff | annotate |
Mon, 27 Aug 2012 16:48:41 +0200 | wenzelm | more standard document preparation within session context; | file | diff | annotate |