Diffusion Isabelle 74cabc06cf2d

proper support for multiple installations;
74cabc06cf2d
Actions

Tags

None

Subscribers

None

Description

proper support for multiple installations;

Details

Provenance

Authored on

Parents

rISABELLEb4401dfd6544: clarified "isabelle phabricator -l": avoid surprise with non-existent default…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE74cabc06cf2d: proper support for multiple installations;.Dec 12 2019, 1:55 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

phabricator.scala

rISABELLE74cabc06cf2d

src/Pure/Tools/phabricator.scala

Loading...