babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;
authorwenzelm
Tue Sep 09 19:36:21 2008 +0200 (2008-09-09)
changeset 28181e98be9824b7d
parent 28180 3f69c3c54478
child 28182 bfd7a8700676
babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;
src/HOL/Bali/document/root.tex
     1.1 --- a/src/HOL/Bali/document/root.tex	Tue Sep 09 19:33:22 2008 +0200
     1.2 +++ b/src/HOL/Bali/document/root.tex	Tue Sep 09 19:36:21 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  \usepackage{latexsym}
     1.5  \usepackage{graphicx}
     1.6  \usepackage{pdfsetup}
     1.7 -\usepackage[french,english]{babel}
     1.8 +\usepackage[english]{babel}
     1.9  \usepackage{ifthen}
    1.10  
    1.11  \urlstyle{rm}