Diffusion Isabelle 4363ad65ad36

support option -r;
4363ad65ad36
Actions

Tags

None

Subscribers

None

Description

support option -r;

Details

Provenance

Authored on

Parents

rISABELLE904607aedc4b: omit pointless option;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4363ad65ad36: support option -r;.May 29 2022, 8:57 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

General/

mercurial.scala

rISABELLE4363ad65ad36

src/Doc/System/Misc.thy

Loading...

src/Pure/General/mercurial.scala

Loading...