[isabelle-dev] JinjaThreads in French!

Gerwin Klein gerwin.klein at nicta.com.au
Thu Feb 2 22:41:02 CET 2012

Awesome :-)

Actually, I think it does what it is supposed to do. The document/root.tex says


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.


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

More information about the isabelle-dev mailing list