[isabelle-dev] LuaLaTeX compatibility improvements in AFP

[Lars Hupel]

> 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)
==> Caveats
You must restart your terminal window for the installation of MacTex CLI
tools to take effect.
Alternatively, Bash and Zsh users can run the command:

  eval "$(/usr/libexec/path_helper)"

==> Analytics
install: 2,804 (30 days), 7,707 (90 days), 35,923 (365 days)