Diffusion afp-devel 9cf49cbf016c

switch new entries' documents to T1 encoding
9cf49cbf016c
Actions

Tags

None

Subscribers

None

Description

switch new entries' documents to T1 encoding

Details

Provenance

Andreas Lochbihler <mail@andreas-lochbihler.de>

Authored on

Parents

rAFP87af554341ac: merge from afp-2021

Branches

Unknown

Tags

Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP9cf49cbf016c: switch new entries' documents to T1 encoding.Mar 16 2021, 7:46 AM

Changes (5)

Path

Size

thys/

Hermite_Lindemann/

document/

Mereology/

document/

Modular_arithmetic_LLL_and_HNF_algorithms/

document/

Projective_Measurements/

document/

Sunflowers/

document/

rAFP9cf49cbf016c

thys/Hermite_Lindemann/document/root.tex

Loading...

thys/Mereology/document/root.tex

Loading...

thys/Modular_arithmetic_LLL_and_HNF_algorithms/document/root.tex

Loading...

thys/Projective_Measurements/document/root.tex

Loading...

thys/Sunflowers/document/root.tex

Loading...