[isabelle-dev] LuaLaTeX compatibility improvements in AFP

Makarius makarius at sketis.net
Thu Oct 8 11:17:37 CEST 2020

Hi Lars,

thank you for your continued work on improving fine-points on LuaLaTeX in AFP,
e.g. AFP/0ce3effc4844.

Can you say how you find out about remaining problems?

In the first phase, I had some odd failures with TeX installations. Now I
don't see that anymore on my usual test machines: I am running "-o
document=pdf" more often than normal, just to make double sure.

In the second phase, I used the visual diffpdf tool on Ubuntu, but only for
the entries in $ISABELLE_HOME/src/Doc.

Do you have more tricks and techniques to share?


More information about the isabelle-dev mailing list