Stream: Mirror: Isabelle Development Mailing List

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

view this post on Zulip Email Gateway (Mar 11 2021 at 10:30):

From: Makarius <>
* Document preparation *

This refers to Isabelle/fbd69f277699, but the actual change is in

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.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC