[isabelle-dev] LuaLaTeX compatibility improvements in AFP
makarius at sketis.net
Fri Oct 16 15:57:15 CEST 2020
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
> /usr/local/Caskroom/mactex/2020.0407 (3.9GB)
> From: https://github.com/Homebrew/homebrew-cask/blob/HEAD/Casks/mactex.rb
> ==> Name
> ==> 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).
More information about the isabelle-dev