Thanks for spotting this, Peter.
Actually, I think it does what it is supposed to do. The document/root.tex says
\usepackage[french,english]{babel}
No, according to the babel documentation, the primary language is the last one
mentioned, i.e., English.
I'm not sure whether the French option is still required. IIRC, I added that
option in 2009 because some glyphs were only availabe when French was loaded,
possibly something with >> and <<.
Andreas
--
Karlsruher Institut für Technologie
IPD Snelting
Andreas Lochbihler
wissenschaftlicher Mitarbeiter
Adenauerring 20a, Geb. 50.41, Raum 031
76131 Karlsruhe
Telefon: +49 721 608-47399
Fax: +49 721 608-48457
E-Mail: andreas.lochbih...@kit.edu
http://pp.info.uni-karlsruhe.de
KIT - Universität des Landes Baden-Württemberg und nationales Forschungszentrum
in der Helmholtz-Gemeinschaft
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
