| changeset 15953 | 902b556e4bc0 |
| parent 15689 | 621bd0d8048f |
| child 16075 | 8852058ecf8d |
--- a/doc-src/LaTeXsugar/Sugar/document/root.tex Wed May 11 17:45:38 2005 +0200 +++ b/doc-src/LaTeXsugar/Sugar/document/root.tex Thu May 12 09:45:54 2005 +0200 @@ -34,7 +34,7 @@ \begin{document} \title{\LaTeX\ Sugar for Isabelle documents} -\author{Gerwin Klein, Tobias Nipkow, Norbert Schirmer} +\author{Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer} \maketitle \begin{abstract}