1.1 --- a/doc-src/Nitpick/nitpick.tex	Wed Oct 28 18:21:13 2009 +0100
     1.2 +++ b/doc-src/Nitpick/nitpick.tex	Thu Oct 29 11:41:11 2009 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  \usepackage[T1]{fontenc}
     1.5  \usepackage{amsmath}
     1.6  \usepackage{amssymb}
     1.7 -\usepackage[french,english]{babel}
     1.8 +\usepackage[english,french]{babel}
     1.9  \usepackage{color}
    1.10  \usepackage{graphicx}
    1.11  %\usepackage{mathpazo}
    1.12 @@ -40,6 +40,8 @@
    1.13  
    1.14  \begin{document}
    1.15  
    1.16 +\selectlanguage{english}
    1.17 +
    1.18  \title{\includegraphics[scale=0.5]{isabelle_nitpick} \\[4ex]
    1.19  Picking Nits \\[\smallskipamount]
    1.20  \Large A User's Guide to Nitpick for Isabelle/HOL 2010}

     2.1 Binary file doc-src/gfx/isabelle_nitpick.pdf has changed