Diffusion Isabelle 79b89278b825

clarified permissions;
79b89278b825
Actions

Tags

None

Subscribers

None

Description

clarified permissions;

Details

Provenance

Authored on

Parents

rISABELLE9314a4cc84ea: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE79b89278b825: clarified permissions;.Nov 7 2019, 10:47 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE79b89278b825

src/Pure/Tools/phabricator.scala

Loading...