Diffusion Isabelle d16dd2d1b50a

support for "isabelle hg_sync";
d16dd2d1b50a
Actions

Tags

None

Subscribers

None

Description

support for "isabelle hg_sync";

Details

Provenance

Authored on

Parents

rISABELLEd7035cfa1f14: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd16dd2d1b50a: support for "isabelle hg_sync";.May 29 2022, 1:13 PM

Changes (3)

Path

Size

src/

Pure/

General/

mercurial.scala

System/

isabelle_tool.scala

rISABELLEd16dd2d1b50a

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...