[isabelle-dev] LuaLaTeX compatibility improvements in AFP
makarius at sketis.net
Thu Oct 8 11:17:37 CEST 2020
thank you for your continued work on improving fine-points on LuaLaTeX in AFP,
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