Diffusion Isabelle 2b5b093a1c08

build rsync from sources, to avoid divergence of protocols on various platforms;
2b5b093a1c08
Actions

Tags

None

Subscribers

None

Description

build rsync from sources, to avoid divergence of protocols on various platforms;

Details

Provenance

Authored on

Parents

rISABELLE1208ece65cca: more informative errors;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2b5b093a1c08: build rsync from sources, to avoid divergence of protocols on various platforms;.Mar 29 2023, 10:21 PM

Changes (6)

Path

Size

etc/

component_rsync.scala

System/

isabelle_tool.scala

rISABELLE2b5b093a1c08

etc/build.props

Loading...

src/Pure/Admin/component_rsync.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...