Diffusion Isabelle 68162e4f60a7

clarified signature: more explicit type Rsync.Context;
68162e4f60a7
Actions

Tags

None

Subscribers

None

Description

clarified signature: more explicit type Rsync.Context;

Details

Provenance

Authored on

Parents

rISABELLEff8012edac89: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE68162e4f60a7: clarified signature: more explicit type Rsync.Context;.Tue, Jun 7, 5:07 PM

makarius mentioned this in rISABELLEfbe27a50706b: avoid noise via context.progress (amending 68162e4f60a7);.Tue, Jun 7, 8:24 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_history.scala

sync_repos.scala

General/

mercurial.scala

rISABELLE68162e4f60a7

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/sync_repos.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/rsync.scala

Loading...