[isabelle-dev] JinjaThreads in French!

[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 packages installed than others before.

I'll try swapping it.

Cheers,
Gerwin


On 03/02/2012, at 3:43 AM, Peter Lammich wrote:

> ... 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>