[isabelle-dev] LuaLaTeX compatibility improvements in AFP

Lars Hupel hupel at in.tum.de
Thu Oct 8 21:33:50 CEST 2020

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

More information about the isabelle-dev mailing list