Diffusion afp-devel a8a03d5e5117

T1 fontenc for new entries
a8a03d5e5117
Actions

Tags

None

Subscribers

None

Description

T1 fontenc for new entries

Details

Provenance

Andreas Lochbihler <mail@andreas-lochbihler.de>

Authored on

Parents

rAFP2992e460f579: sitegen

Branches

Unknown

Tags

Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFPa8a03d5e5117: T1 fontenc for new entries.Jul 8 2021, 9:18 PM

Changes (4)

Path

Size

thys/

IMP_Compiler/

document/

MiniSail/

document/

Public_Announcement_Logic/

document/

Van_der_Waerden/

document/

rAFPa8a03d5e5117

thys/IMP_Compiler/document/root.tex

Loading...

thys/MiniSail/document/root.tex

Loading...

thys/Public_Announcement_Logic/document/root.tex

Loading...

thys/Van_der_Waerden/document/root.tex

Loading...