--- 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}
--- 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}