Diffusion Isabelle 6ca9e8377613

proper names for multiple installations;
6ca9e8377613
Actions

Tags

None

Subscribers

None

Description

proper names for multiple installations;

Details

Provenance

Authored on

Parents

rISABELLE2965304143d8: more phabricator setup;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE6ca9e8377613: proper names for multiple installations;.Nov 5 2019, 10:55 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE6ca9e8377613

src/Pure/Tools/phabricator.scala

Loading...