Diffusion Isabelle 5340239ff468

clarified options of "isabelle hg_sync" vs. "isabelle sync";
5340239ff468
Actions

Tags

None

Subscribers

None

Description

clarified options of "isabelle hg_sync" vs. "isabelle sync";

Details

Provenance

Authored on

Parents

rISABELLEcf69c9112d09: tuned layout;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5340239ff468: clarified options of "isabelle hg_sync" vs. "isabelle sync";.Mon, Jun 13, 11:48 AM

Changes (3)

Path

Size

src/

Doc/

System/

Pure/

General/

mercurial.scala

rISABELLE5340239ff468

src/Doc/System/Misc.thy

Loading...

src/Doc/System/Sessions.thy

Loading...

src/Pure/General/mercurial.scala

Loading...