Diffusion Isabelle b6b6248d4719

Tuned documentation
b6b6248d4719
Actions

Tags

None

Subscribers

None

Description

Tuned documentation

Details

Provenance

Authored on

Parents

rISABELLE56514a42eee8: Updated ML in forgotten in previous commit

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEb6b6248d4719: Tuned documentation.Nov 12 2020, 4:44 PM

Changes (2)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLEb6b6248d4719

src/Doc/Sledgehammer/document/root.tex

Loading...

src/Doc/manual.bib

Loading...