[isabelle-dev] LuaLaTeX compatibility improvements in AFP
makarius at sketis.net
Thu Oct 8 17:25:32 CEST 2020
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?
More information about the isabelle-dev