[isabelle-dev] JinjaThreads in French!

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

Previous message (by thread): [isabelle-dev] cs. 39fe503602fb
Next message (by thread): [isabelle-dev] JinjaThreads in French!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [isabelle-dev] cs. 39fe503602fb
Next message (by thread): [isabelle-dev] JinjaThreads in French!
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list