Diffusion afp-devel effed799454b

avoid odd Unicode tricks, notably for lualatex;
effed799454b
Actions

Tags

None

Subscribers

None

Description

avoid odd Unicode tricks, notably for lualatex;

Details

Provenance

Authored on

Parents

rAFPd725e6d200ba: proper textcomp for \textdegree, notably for lualatex;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPeffed799454b: avoid odd Unicode tricks, notably for lualatex;.Sep 26 2020, 5:16 PM

Changes (6)

Path

Size

thys/

Call_Arity/

document/

LOFT/

document/

Propositional_Proof_Systems/

document/

Sturm_Sequences/

document/

root_userguide.tex

rAFPeffed799454b

thys/Call_Arity/document/root.tex

Loading...

thys/LOFT/document/root.tex

Loading...

thys/Propositional_Proof_Systems/document/fig_sema.tex

Loading...

thys/Propositional_Proof_Systems/document/fig_tran.tex

Loading...

thys/Propositional_Proof_Systems/document/root.tex

Loading...

thys/Sturm_Sequences/document/root_userguide.tex

Loading...