1.1 --- a/doc-src/Nitpick/nitpick.tex Tue Nov 24 15:22:00 2009 +0100
1.2 +++ b/doc-src/Nitpick/nitpick.tex Tue Nov 24 16:07:31 2009 +0100
1.3 @@ -44,10 +44,10 @@
1.4
1.5 \title{\includegraphics[scale=0.5]{isabelle_nitpick} \\[4ex]
1.6 Picking Nits \\[\smallskipamount]
1.7 -\Large A User's Guide to Nitpick for Isabelle/HOL 2010}
1.8 +\Large A User's Guide to Nitpick for Isabelle/HOL}
1.9 \author{\hbox{} \\
1.10 Jasmin Christian Blanchette \\
1.11 -{\normalsize Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen} \\
1.12 +{\normalsize Institut f\"ur Informatik, Technische Universit\"at M\"unchen} \\
1.13 \hbox{}}
1.14
1.15 \maketitle