[isabelle-dev] JinjaThreads in French!
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:
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