| Tue, 28 Aug 2012 12:48:39 +0200 | wenzelm | removed junk; | changeset | files |
| Tue, 28 Aug 2012 12:45:49 +0200 | wenzelm | more standard document preparation within session context; | changeset | files |
| Tue, 28 Aug 2012 12:31:53 +0200 | wenzelm | removed outdated IsarRef/Thy/HOLCF_Specific.thy -- make IsarRef depend on HOL only; | changeset | files |
| Tue, 28 Aug 2012 12:22:10 +0200 | wenzelm | prefer doc-src/pdfsetup.sty; | changeset | files |
| Mon, 27 Aug 2012 23:37:16 +0200 | wenzelm | more official way to set margin; | changeset | files |
| Mon, 27 Aug 2012 23:29:45 +0200 | wenzelm | avoid clash with generated Adaptation.tex on case-insensible file-systems; | changeset | files |