Diffusion Isabelle 4538d6ffafbd

tuned Mirabelle documentation
4538d6ffafbd
Actions

Tags

None

Subscribers

None

Description

tuned Mirabelle documentation

Details

Provenance

Authored on

Parents

rISABELLEa88427e55371: shortened long lines

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE4538d6ffafbd: tuned Mirabelle documentation.Jun 17 2021, 11:27 AM

Changes (1)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLE4538d6ffafbd

src/Doc/Sledgehammer/document/root.tex

Loading...