log

age author description
Thu, 01 Mar 2018 19:25:49 +0100 Franz Glasner Use "Repository" instead of "Path" and use "$Header$" instead of "$HGheader"
Thu, 01 Mar 2018 12:35:25 +0100 Franz Glasner Note the requirements for generating the documentation
Thu, 01 Mar 2018 12:26:37 +0100 Franz Glasner Annotate LaTeX output with page numbers and show URL targets in the footnotes.
Thu, 01 Mar 2018 11:22:47 +0100 Franz Glasner For LaTeX: include documents within the toctree only
Thu, 01 Mar 2018 00:31:35 +0100 Franz Glasner Change the LaTeX title and use the correct english quotation marks there
Thu, 01 Mar 2018 00:18:05 +0100 Franz Glasner FIX: add forgotten files