[isabelle-dev] LuaLaTeX compatibility improvements in AFP

[Makarius]

On 08/10/2020 21:33, Lars Hupel wrote:
>> Which version of macTeX is this actually?
> 
> lapnipkow7:~ hupel$ brew cask info mactex
> mactex: 2020.0407
> https://www.tug.org/mactex/
> /usr/local/Caskroom/mactex/2020.0407 (3.9GB)
> From: https://github.com/Homebrew/homebrew-cask/blob/HEAD/Casks/mactex.rb
> ==> Name
> MacTeX
> ==> Description
> Full TeX Live distribution with GUI applications
> ==> Artifacts
> mactex-20200407.pkg (Pkg)

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).


	Makarius