On 18/02/2012, at 1:35 AM, Makarius wrote:
> On Thu, 2 Feb 2012, 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.
>
> It is not there on "the" current tip, which is AFP/9235e
On Thu, 2 Feb 2012, 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.
It is not there on "the" current tip, which is AFP/9235eceb731f. (It is
standard practice to specify repository ve
Thanks for spotting this, Peter.
Actually, I think it does what it is supposed to do. The document/root.tex says
\usepackage[french,english]{babel}
No, according to the babel documentation, the primary language is the last one
mentioned, i.e., English.
I'm not sure whether the French option
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
... 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/