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
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/9235eceb731f.
... 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
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