Diffusion Isabelle 20587c17cb20

Expanded and tuned documentation
20587c17cb20
Actions

Tags

None

Subscribers

None

Description

Expanded and tuned documentation

Details

Provenance

Authored on

Parents

rISABELLEc7e2a9bdc585: Added support for TFX to Sledgehammer

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE20587c17cb20: Expanded and tuned documentation.Nov 5 2020, 7:01 PM

Changes (1)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLE20587c17cb20

src/Doc/Sledgehammer/document/root.tex

Loading...