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