# HG changeset patch
# User blanchet
# Date 1376967565 -7200
# Node ID d2afb0eb82e20434534c02a5134fc43f2d035516
# Parent  1426c97311f26cf6d03270e56f6526342d1f579d
removed french option to manuals

diff -r 1426c97311f2 -r d2afb0eb82e2 src/Doc/Nitpick/document/root.tex
--- a/src/Doc/Nitpick/document/root.tex	Mon Aug 19 23:22:04 2013 +0200
+++ b/src/Doc/Nitpick/document/root.tex	Tue Aug 20 04:59:25 2013 +0200
@@ -2,7 +2,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage[english,french]{babel}
+\usepackage[english]{babel}
 \usepackage{color}
 \usepackage{footmisc}
 \usepackage{graphicx}
@@ -46,8 +46,6 @@
 %\renewcommand\labelitemi{$\bullet$}
 \renewcommand\labelitemi{\raise.065ex\hbox{\small\textbullet}}
 
-\selectlanguage{english}
-
 \title{\includegraphics[scale=0.5]{isabelle_nitpick} \\[4ex]
 Picking Nits \\[\smallskipamount]
 \Large A User's Guide to Nitpick for Isabelle/HOL}
diff -r 1426c97311f2 -r d2afb0eb82e2 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Mon Aug 19 23:22:04 2013 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Tue Aug 20 04:59:25 2013 +0200
@@ -2,7 +2,7 @@
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage[english,french]{babel}
+\usepackage[english]{babel}
 \usepackage{color}
 \usepackage{footmisc}
 \usepackage{graphicx}
@@ -48,8 +48,6 @@
 %\renewcommand\labelitemi{$\bullet$}
 \renewcommand\labelitemi{\raise.065ex\hbox{\small\textbullet}}
 
-\selectlanguage{english}
-
 \title{\includegraphics[scale=0.5]{isabelle_sledgehammer} \\[4ex]
 Hammering Away \\[\smallskipamount]
 \Large A User's Guide to Sledgehammer for Isabelle/HOL}