doc-src/Nitpick/nitpick.tex
changeset 33564 75ce0f60617a
parent 33561 ab01b72715ef
child 33579 da0fea4b6e36
--- a/doc-src/Nitpick/nitpick.tex	Wed Oct 28 18:21:13 2009 +0100
+++ b/doc-src/Nitpick/nitpick.tex	Thu Oct 29 11:41:11 2009 +0100
@@ -2,7 +2,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage[french,english]{babel}
+\usepackage[english,french]{babel}
 \usepackage{color}
 \usepackage{graphicx}
 %\usepackage{mathpazo}
@@ -40,6 +40,8 @@
 
 \begin{document}
 
+\selectlanguage{english}
+
 \title{\includegraphics[scale=0.5]{isabelle_nitpick} \\[4ex]
 Picking Nits \\[\smallskipamount]
 \Large A User's Guide to Nitpick for Isabelle/HOL 2010}