# HG changeset patch
# User blanchet
# Date 1259075251 -3600
# Node ID d9d0faf8d5118fe4c60f5147b66af792e2af2d40
# Parent  cde73f8dbe4ecca65a6ba1c963214d0eab9c1dc7
remove version number from Nitpick manual

diff -r cde73f8dbe4e -r d9d0faf8d511 doc-src/Nitpick/nitpick.tex
--- a/doc-src/Nitpick/nitpick.tex	Tue Nov 24 15:22:00 2009 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Tue Nov 24 16:07:31 2009 +0100
@@ -44,10 +44,10 @@
 
 \title{\includegraphics[scale=0.5]{isabelle_nitpick} \\[4ex]
 Picking Nits \\[\smallskipamount]
-\Large A User's Guide to Nitpick for Isabelle/HOL 2010}
+\Large A User's Guide to Nitpick for Isabelle/HOL}
 \author{\hbox{} \\
 Jasmin Christian Blanchette \\
-{\normalsize Fakult\"at f\"ur Informatik, Technische Universit\"at M\"unchen} \\
+{\normalsize Institut f\"ur Informatik, Technische Universit\"at M\"unchen} \\
 \hbox{}}
 
 \maketitle