[isabelle-dev] LuaLaTeX compatibility improvements in AFP

[Makarius]

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?


	Makarius