Stream: General

Topic: Isabelle + Latex

view this post on Zulip Lukas Stevens (Aug 07 2019 at 16:27):

How does one switch from pdflatex to xelatex (or lualatex) when using isabelle build?

view this post on Zulip Lukas Stevens (Aug 08 2019 at 11:49):

I managed to switch to xelatex.

First create a shell script called build in the directory document:

#!/usr/bin/env bash
export ISABELLE_PDFLATEX="xelatex -file-line-error"
isabelle latex -o sty
isabelle latex -o pdf
isabelle latex -o bbl
isabelle latex -o pdf

Then, register it in the ROOT file:


Now, isabelle build will call this build script and use xelatex since the environment variable ISABELLE_PDFLATEX was changed.

view this post on Zulip Mathias Fleury (Aug 09 2019 at 15:47):

I think that changing it directly in ~~/etc/settings should also work (ISABELLE_PDFLATEX=... without the export) and will be global. Out of curiosity, what is the advantage you see in XeLaTeX over pdflatex?

view this post on Zulip Lukas Stevens (Aug 11 2019 at 12:35):

That is correct, but I find a per project solution cleaner. The advantage of Xelatex is font handling: I can use unicode-math and use a bold math font for bold math symbols.

view this post on Zulip Lukas Stevens (Sep 02 2019 at 10:20):

How can I get the Haskell-style list comprehension to work in the Isabelle Latex output?

Last updated: Dec 07 2023 at 08:19 UTC