Diffusion Isabelle d61fd7aade69

clarified directory;
d61fd7aade69
Actions

Tags

None

Subscribers

None

Description

clarified directory;

Details

Provenance

Authored on

Parents

rISABELLE22fcdadc404d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEd61fd7aade69: clarified directory;.Nov 7 2019, 10:55 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLEd61fd7aade69

src/Pure/Tools/phabricator.scala

Loading...