[isabelle-dev] LuaLaTeX compatibility improvements in AFP

[Makarius]

On 08/10/2020 16:56, Lars Hupel wrote:
>> Can you say how you find out about remaining problems?
> 
> So far I've only looked at actual build errors as detailed in the logs.
> 
> What strikes me as odd is that there appear to be platform differences: some
> sessions worked on Ubuntu 18.04 (TeXlive) and failed on macOS (macTeX). Could
> be due to outdated LaTeX packages.

Which version of macTeX is this actually?


	Makarius