... 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/
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 packa