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.
- Projects
- None
- Subscribers
- None