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}