Diffusion Isabelle 76bb6dd505c0

obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);
76bb6dd505c0
Actions

Tags

None

Subscribers

None

Description

obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);

Details

Provenance

Authored on

Parents

rISABELLEbc97bd4c0474: prefer old-fashioned {\ss} to prevent problems with encoding in lualatex;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE76bb6dd505c0: obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);.Sep 28 2020, 4:23 PM

Changes (12)

Path

Size

src/

Doc/

Corec/

document/

Datatypes/

document/

Eisbach/

document/

How_to_Prove_it/

document/

Implementation/

document/

Isar_Ref/

document/

JEdit/

document/

Locales/

document/

Main/

document/

Nitpick/

document/

Sledgehammer/

document/

System/

document/

rISABELLE76bb6dd505c0

src/Doc/Corec/document/root.tex

Loading...

src/Doc/Datatypes/document/root.tex

Loading...

src/Doc/Eisbach/document/root.tex

Loading...

src/Doc/How_to_Prove_it/document/prelude.tex

Loading...

src/Doc/Implementation/document/root.tex

Loading...

src/Doc/Isar_Ref/document/root.tex

Loading...

src/Doc/JEdit/document/root.tex

Loading...

src/Doc/Locales/document/root.tex

Loading...

src/Doc/Main/document/root.tex

Loading...

src/Doc/Nitpick/document/root.tex

Loading...

src/Doc/Sledgehammer/document/root.tex

Loading...

src/Doc/System/document/root.tex

Loading...