Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations;
authorwenzelm
Tue, 09 Sep 2008 19:36:21 +0200
changeset 28181 e98be9824b7d
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 file | annotate | diff | comparison | revisions 
--- 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}
isabelle