Diffusion Isabelle 5d5be87330b5

allow to override repository versions at runtime;
5d5be87330b5
Actions

Tags

None

Subscribers

None

Description

allow to override repository versions at runtime;

Details

Provenance

Authored on

Parents

rISABELLE5de8c6d92bd0: follow Phabricator update 2020 Week 5;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5d5be87330b5: allow to override repository versions at runtime;.Feb 8 2020, 3:18 PM

Changes (3)

Path

Size

etc/

src/

Doc/

System/

Phabricator.thy

Pure/

Tools/

phabricator.scala

rISABELLE5d5be87330b5

etc/options

Loading...

src/Doc/System/Phabricator.thy

Loading...

src/Pure/Tools/phabricator.scala

Loading...