[isabelle-dev] JinjaThreads in French!

Makarius makarius at sketis.net
Fri Feb 17 15:35:33 CET 2012

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 

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
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 


More information about the isabelle-dev mailing list