Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- more portable options;
- build rsync from sources, to avoid divergence of protocols on various platforms;
The file was modified | src/Pure/Admin/component_rsync.scala |
The file was added | src/Pure/Admin/component_rsync.scala |
The file was modified | etc/build.props |
The file was modified | src/Pure/System/isabelle_tool.scala |