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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
