[isabelle-dev] JinjaThreads in French!
gerwin.klein at nicta.com.au
Thu Feb 2 22:41:02 CET 2012
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev