Diffusion Isabelle e9e27d2e61a1

updated documentation of 'slice' (now 'slices') option
e9e27d2e61a1
Actions

Tags

None

Subscribers

None

Description

updated documentation of 'slice' (now 'slices') option

Details

Provenance

Authored on

Parents

rISABELLE75718e81554c: revised Sledgehammer documentation

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEe9e27d2e61a1: updated documentation of 'slice' (now 'slices') option.Jan 31 2022, 4:09 PM

Changes (1)

Path

Size

src/

Doc/

Sledgehammer/

document/

rISABELLEe9e27d2e61a1

src/Doc/Sledgehammer/document/root.tex

Loading...