Diffusion Isabelle 64ec254d901d

proper backup;
64ec254d901d
Actions

Tags

None

Subscribers

None

Description

proper backup;

Details

Provenance

Authored on

Parents

rISABELLE5b68cc73f8b1: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE64ec254d901d: proper backup;.Dec 18 2019, 10:26 PM

Changes (1)

Path

Size

src/

Pure/

General/

mercurial.scala

rISABELLE64ec254d901d

src/Pure/General/mercurial.scala

Loading...