Diffusion Isabelle f114e11fe21d

clarified directory;
f114e11fe21d
Actions

Tags

None

Subscribers

None

Description

clarified directory;

Details

Provenance

Authored on

Parents

rISABELLE341941afe827: clarified names;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf114e11fe21d: clarified directory;.Jul 16 2021, 12:40 PM

Changes (1)

Path

Size

src/

Tools/

GraphBrowser/

etc/

rISABELLEf114e11fe21d

src/Tools/GraphBrowser/etc/build.props

Loading...