Diffusion afp-devel 5cd97da555e8

avoid hardwired document output;
5cd97da555e8
Actions

Tags

None

Subscribers

None

Description

avoid hardwired document output;

Details

Provenance

Authored on

Parents

rAFP8851b1c659ca: merge

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP5cd97da555e8: avoid hardwired document output;.Sun, Nov 5, 7:48 PM

Changes (2)

Path

Size

thys/

CSP_RefTK/

HOL-CSP/

rAFP5cd97da555e8

thys/CSP_RefTK/ROOT

Loading...

thys/HOL-CSP/ROOT

Loading...