# 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