Diffusion Isabelle 51c19a44cfed

support for conduit API;
51c19a44cfed
Actions

Tags

None

Subscribers

None

Description

support for conduit API;

Details

Provenance

Authored on

Parents

rISABELLE93b097726667: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE51c19a44cfed: support for conduit API;.Dec 17 2019, 9:04 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE51c19a44cfed

src/Pure/Tools/phabricator.scala

Loading...