Lukas Stevens (Aug 07 2019 at 16:27): Lukas Stevens (Aug 07 2019 at 16:27):How does one switch from pdflatex to xelatex (or lualatex) when using isabelle build?
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:
...
document_files
"build"
...
...
Now, isabelle build will call this build script and use xelatex since the environment variable ISABELLE_PDFLATEX was changed.
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?
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.
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 21 2024 at 12:33 UTC