Diffusion Isabelle cfcc1a2233ca

support for Phabricator upgrade;
cfcc1a2233ca
Actions

Tags

None

Subscribers

None

Description

support for Phabricator upgrade;

Details

Provenance

Authored on

Parents

rISABELLEde59dd86760f: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcfcc1a2233ca: support for Phabricator upgrade;.Dec 16 2019, 1:58 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLEcfcc1a2233ca

src/Pure/Tools/phabricator.scala

Loading...