Diffusion Isabelle 8162ca81ea8a

suppress ligatures more robustly, notably for lualatex;
8162ca81ea8a
Actions

Tags

None

Subscribers

None

Description

suppress ligatures more robustly, notably for lualatex;

Details

Provenance

Authored on

Parents

rISABELLE684f14b1e7fc: ISABELLE_PDFLATEX is now lualatex;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8162ca81ea8a: suppress ligatures more robustly, notably for lualatex;.Sep 27 2020, 11:02 PM

makarius mentioned this in T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).Sep 28 2020, 12:21 PM

Changes (2)

Path

Size

src/

Doc/

Prog_Prove/

Pure/

Thy/

rISABELLE8162ca81ea8a

src/Doc/Prog_Prove/Logic.thy

Loading...

src/Pure/Thy/latex.ML

Loading...