Diffusion Isabelle 4eeff87c5072

more phabricator setup;
4eeff87c5072
Actions

Tags

None

Subscribers

None

Description

more phabricator setup;

Details

Provenance

Authored on

Parents

rISABELLE8198ceef0301: more phabricator setup;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE4eeff87c5072: more phabricator setup;.Nov 5 2019, 8:47 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

phabricator.scala

rISABELLE4eeff87c5072

src/Pure/System/linux.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...