| Tue, 28 Aug 2012 12:31:53 +0200 | wenzelm | removed outdated IsarRef/Thy/HOLCF_Specific.thy -- make IsarRef depend on HOL only; | file | diff | annotate |
| Tue, 28 Aug 2012 12:22:10 +0200 | wenzelm | prefer doc-src/pdfsetup.sty; | file | diff | annotate |
| Fri, 29 Jun 2012 15:45:50 +0200 | wenzelm | default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2); | file | diff | annotate |
| Fri, 01 Jun 2012 13:39:14 +0200 | wenzelm | use \tocentry as in implementation manual; | file | diff | annotate |