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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
