Diffusion afp-devel d002a4bd210d

avoid hardwired document output;
d002a4bd210d
Actions

Tags

None

Subscribers

None

Description

avoid hardwired document output;

Details

Provenance

Authored on

Parents

rAFPabbaf3d0dbb2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPd002a4bd210d: avoid hardwired document output;.Jan 25 2022, 9:38 PM

Changes (2)

Path

Size

thys/

Automated_Stateful_Protocol_Verification/

Stateful_Protocol_Composition_and_Typing/

rAFPd002a4bd210d

thys/Automated_Stateful_Protocol_Verification/ROOT

Loading...

thys/Stateful_Protocol_Composition_and_Typing/ROOT

Loading...