remove version number from Nitpick manual
authorblanchet
Tue Nov 24 16:07:31 2009 +0100 (2009-11-24)
changeset 33887d9d0faf8d511
parent 33886 cde73f8dbe4e
child 33888 4e0da333f75b
remove version number from Nitpick manual
doc-src/Nitpick/nitpick.tex
     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