Diffusion afp-devel 4ea18c203d18

feat(SpecCheck/Show) tune pretty printing for environments
4ea18c203d18
Actions

Tags

None

Subscribers

None

Description

feat(SpecCheck/Show) tune pretty printing for environments

Details

Provenance

Authored on

Parents

rAFP0e249fc28c65: merge

Branches

Unknown

Tags

Unknown

Event Timeline

kappelmann committed rAFP4ea18c203d18: feat(SpecCheck/Show) tune pretty printing for environments.Sep 30 2021, 7:13 PM

Changes (2)

Path

Size

thys/

SpecCheck/

Show/

rAFP4ea18c203d18

thys/SpecCheck/Show/show_base.ML

Loading...

thys/SpecCheck/Show/show_term.ML

Loading...