1.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri May 09 23:35:57 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Sat May 10 00:14:00 2008 +0200
     1.3 @@ -15,7 +15,18 @@
     1.4  
     1.5  \isadroptag{theory}
     1.6  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
     1.7 -\author{\emph{Markus Wenzel} \\ TU M\"unchen}
     1.8 +\author{\emph{Makarius Wenzel} \\[3ex]
     1.9 +  With Contributions by
    1.10 +  Clemens Ballarin,
    1.11 +  Stefan Berghofer, \\
    1.12 +  Florian Haftmann,
    1.13 +  Gerwin Klein,
    1.14 +  Alexander Krauss, \\
    1.15 +  Tobias Nipkow,
    1.16 +  David von Oheimb,
    1.17 +  Larry Paulson, \\
    1.18 +  and Sebastian Skalberg
    1.19 +}
    1.20  
    1.21  \makeindex
    1.22