Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] NEWS: Improved LaTeX typesetting of ‹...›

Email Gateway (Mar 11 2021 at 10:30):

From: Makarius <makarius@sketis.net>
* 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, but the actual change is in
Isabelle/299f6a8faccc.

I also wanted to upgrade «...» to use \guillemotleft ... \guillemotright from
\usepackage[T1]{fontenc}, but this did not work, because the LaTeX/Linux
installation of various test machines at TUM is very old (Ubuntu 16.04).

Why are we still testing ancient LaTeX? With LuaLaTeX we are now at the
frontier of ongoing LaTeX development. Many old problems go away if recent
installation is used.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Feb 01 2025 at 20:19 UTC