Diffusion Isabelle 4f8849357ba7

more robust: idempotent;
4f8849357ba7
Actions

Tags

None

Subscribers

None

Description

more robust: idempotent;

Details

Provenance

Authored on

Parents

rISABELLE804e75127f29: more robust invocation of hg;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4f8849357ba7: more robust: idempotent;.Mar 27 2021, 7:26 PM

Changes (2)

Path

Size

lib/

Tools/

src/

Doc/

System/

rISABELLE4f8849357ba7

lib/Tools/components

Loading...

src/Doc/System/Misc.thy

Loading...