Diffusion Isabelle 113779776ee4

more repository information;
113779776ee4
Actions

Tags

None

Subscribers

None

Description

more repository information;

Details

Provenance

Authored on

Parents

rISABELLE2f7da37bab52: more permissive string fields;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE113779776ee4: more repository information;.Dec 18 2019, 3:10 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE113779776ee4

src/Pure/Tools/phabricator.scala

Loading...