[isabelle-dev] JinjaThreads in French!

[Makarius]

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 versions explicitly on 
isabelle-dev.)

Looking a bit in the history ofJinjaThreads the french option is 
fluctuating a little back and forth, without any explanations.

Here is another interesting changeset:

changeset:   663:11e88e5f18d4
user:        makarius
date:        Tue Sep 09 18:19:23 2008 +0000
files:       thys/Jinja/document/root.tex thys/JinjaThreads/document/root.tex
description:
babel: removed unnecessary "french" option, which actually enables french 
section names etc. on some LaTeX installations;

The option was originally coming from the original Jinja import, so Gerwin 
might have had reasons in the past that no longer apply.  Andreas seems to 
have overwritten the above update by accident later on, so the problem was 
re-ocurring.


 	Makarius