Stream: General

Topic: Isabelle + Latex

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: Apr 24 2024 at 20:16 UTC