# HG changeset patch
# User wenzelm
# Date 1220981781 -7200
# Node ID e98be9824b7d44e0fd1af3ebef2dc085606a51d8
# Parent  3f69c3c5447832c6c89a60bfdc09d680efd6c296
babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;

diff -r 3f69c3c54478 -r e98be9824b7d src/HOL/Bali/document/root.tex
--- a/src/HOL/Bali/document/root.tex	Tue Sep 09 19:33:22 2008 +0200
+++ b/src/HOL/Bali/document/root.tex	Tue Sep 09 19:36:21 2008 +0200
@@ -4,7 +4,7 @@
 \usepackage{latexsym}
 \usepackage{graphicx}
 \usepackage{pdfsetup}
-\usepackage[french,english]{babel}
+\usepackage[english]{babel}
 \usepackage{ifthen}
 
 \urlstyle{rm}