[isabelle-dev] LuaLaTeX compatibility improvements in AFP

Lars Hupel hupel at in.tum.de
Fri Oct 16 16:06:26 CEST 2020

Previous message (by thread): [isabelle-dev] LuaLaTeX compatibility improvements in AFP
Next message (by thread): [isabelle-dev] Word sessions and theories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Looks good now, both on Ubuntu and on macOS.

Previous message (by thread): [isabelle-dev] LuaLaTeX compatibility improvements in AFP
Next message (by thread): [isabelle-dev] Word sessions and theories
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list