[isabelle-dev] JinjaThreads in French!

2012-02-02 Thread Peter Lammich
... at least the superscripts of TOC and chapters, in the release-branch of AFP. Looks like it was built on a french latex configuration. Cheers, Peter ___ isabelle-dev mailing list isabelle-...@in.tum.de

Re: [isabelle-dev] JinjaThreads in French!

2012-02-02 Thread Gerwin Klein
Awesome :-) Actually, I think it does what it is supposed to do. The document/root.tex says \usepackage[french,english]{babel} To me that reads like the primary language should be French (I might be wrong). The difference is probably that the machine it was built on has more french latex