Diffusion afp-devel 0ce3effc4844

LuaLaTeX compatibility improvement
0ce3effc4844
Actions

Tags

None

Subscribers

None

Description

LuaLaTeX compatibility improvement

Details

Provenance

Lars Hupel <lars.hupel@mytum.de>

Authored on

Parents

rAFPba6ffe9f3597: a small guide

Branches

Unknown

Tags

Unknown

Event Timeline

Lars Hupel <lars.hupel@mytum.de> committed rAFP0ce3effc4844: LuaLaTeX compatibility improvement.Oct 7 2020, 10:54 PM

Changes (1)

Path

Size

thys/

LTL_Normal_Form/

document/

rAFP0ce3effc4844

thys/LTL_Normal_Form/document/root.tex

Loading...