HomeIsabelle/Phabricator
Improved LaTeX typesetting of ‹...›

Document preparation

  • Improved LaTeX typesetting of ‹...› using \guilsinglleft ... \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc} (which is now also the default in isabelle mkroot).

This refers to Isabelle/fbd69f277699.

Written by makarius on Mar 11 2021, 11:24 AM.
User
Projects
None
Subscribers
None

Event Timeline