Diffusion afp-devel 22694dc0d736

avoid hardwired document output;
22694dc0d736
Actions

Tags

None

Subscribers

None

Description

avoid hardwired document output;

Details

Provenance

Authored on

Parents

rAFP61e152c118d4: CTR and ETTS: integration with SpecCheck: minor amendments

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP22694dc0d736: avoid hardwired document output;.Nov 15 2021, 10:41 PM

Changes (1)

Path

Size

thys/

Isabelle_C/

rAFP22694dc0d736

thys/Isabelle_C/ROOT

Loading...