Diffusion Isabelle 302994f5a3c2

updated Sledgehammer docs -- removed most version numbers since these are…
302994f5a3c2
Actions

Tags

None

Subscribers

None

Description

updated Sledgehammer docs -- removed most version numbers since these are tedious to maintain

Details

Provenance

Authored on

Parents

rISABELLE943757b788f9: compile

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLE302994f5a3c2: updated Sledgehammer docs -- removed most version numbers since these are….Jul 19 2021, 10:37 AM

Changes (1)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLE302994f5a3c2

src/Doc/Sledgehammer/document/root.tex

Loading...