Diffusion Isabelle 26a40fc962e8

more packages: required for svn;
26a40fc962e8
Actions

Tags

None

Subscribers

None

Description

more packages: required for svn;

Details

Provenance

Authored on

Parents

rISABELLE71fd25a7bbe2: more robust setup: avoid blind shot at "the latest" version;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE26a40fc962e8: more packages: required for svn;.Dec 16 2019, 7:14 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE26a40fc962e8

src/Pure/Tools/phabricator.scala

Loading...