How does one switch from pdflatex to xelatex (or lualatex) when using isabelle build?
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:
... document_files "build" ... ...
Now, isabelle build will call this build script and use xelatex since the environment variable ISABELLE_PDFLATEX was changed.
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?
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.
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