[isabelle-dev] LuaLaTeX compatibility improvements in AFP

Lars Hupel 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 
> macOS
> 10.14.6 with the regular MacTeX-2020 download from 
> https://tug.org/mactex
> (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 mailing list