Diffusion afp-devel 348b95c6bf3f

clarified language, notably for lualatex;
348b95c6bf3f
Actions

Tags

None

Subscribers

None

Description

clarified language, notably for lualatex;

Details

Provenance

Authored on

Parents

rAFPeffed799454b: avoid odd Unicode tricks, notably for lualatex;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP348b95c6bf3f: clarified language, notably for lualatex;.Sep 26 2020, 7:47 PM

Changes (6)

Path

Size

thys/

Automated_Stateful_Protocol_Verification/

document/

Core_DOM/

document/

Extended_Finite_State_Machine_Inference/

document/

Extended_Finite_State_Machines/

document/

Stateful_Protocol_Composition_and_Typing/

document/

UPF_Firewall/

document/

rAFP348b95c6bf3f

thys/Automated_Stateful_Protocol_Verification/document/root.tex

Loading...

thys/Core_DOM/document/root.tex

Loading...

thys/Extended_Finite_State_Machine_Inference/document/root.tex

Loading...

thys/Extended_Finite_State_Machines/document/root.tex

Loading...

thys/Stateful_Protocol_Composition_and_Typing/document/root.tex

Loading...

thys/UPF_Firewall/document/root.tex

Loading...