[isabelle-dev] JinjaThreads in French!

Peter Lammich lammich at in.tum.de
Thu Feb 2 17:43:46 CET 2012


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



More information about the isabelle-dev mailing list