Diffusion Isabelle 3d491d1eeff7

prefer explicit utf8 for old pdflatex;
3d491d1eeff7
Actions

Tags

None

Subscribers

None

Description

prefer explicit utf8 for old pdflatex;

Details

Provenance

Authored on

Parents

rISABELLE721e5b7daa6d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3d491d1eeff7: prefer explicit utf8 for old pdflatex;.Nov 4 2022, 8:02 PM

Changes (1)

Path

Size

src/

Doc/

Demo_LIPIcs/

document/

rISABELLE3d491d1eeff7

src/Doc/Demo_LIPIcs/document/root.tex

Loading...