[isabelle-dev] LuaLaTeX compatibility improvements in AFP
hupel at in.tum.de
Fri Oct 16 16:06:26 CEST 2020
> Do you still see remaining failures with that TeX installation?
> I have tried Isabelle/70032f83b9be + AFP/ff20b0ab160b successfully on
> 10.14.6 with the regular MacTeX-2020 download from
> (clicking on the app and letting the installer do its job).
Looks good now, both on Ubuntu and on macOS.
More information about the isabelle-dev