Email Gateway (Aug 19 2022 at 16:57): Email Gateway (Aug 19 2022 at 16:57):From: Gergely Buday <gbuday@gmail.com>
Hi,
I would like to change the font of the proofs in the generated LaTeX document.
I have not found the word "font" neither in the Isar reference nor in
the System manual.
Is there a canonical way to do this other than digging into
isabelle.sty, root.tex and using XeLaTeX?
Email Gateway (Aug 19 2022 at 16:57):From: Makarius <makarius@sketis.net>
See also the thread "outputting colours in isabelle documents" from
06-Aug-2014 here
https://lists.cam.ac.uk/mailman/htdig/cl-isabelle-users/2014-August/msg00058.html
Colors and fonts are managed analogously in LaTeX.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC