Skip to content
Failed

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
  2. tuned signature;
  3. tuned;
  4. tuned signature;
Changeset 80051:9cdc4f533b91 by wenzelm:
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;<br>provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/component_rsync.scala
Changeset 80050:7d8a24c5559d by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala
The file was modified src/Pure/System/components.scala
Changeset 80049:b525f783b784 by wenzelm:
tuned;
The file was modified src/Pure/Admin/component_bash_process.scala
The file was modified src/Pure/Admin/component_csdp.scala
The file was modified src/Pure/Admin/component_e.scala
The file was modified src/Pure/Admin/component_minisat.scala
The file was modified src/Pure/Admin/component_rsync.scala
The file was modified src/Pure/Admin/component_spass.scala
The file was modified src/Pure/Admin/component_vampire.scala
The file was modified src/Pure/Admin/component_verit.scala
The file was modified src/Pure/Admin/component_zipperposition.scala
Changeset 80048:a213dd3c0b29 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala
The file was modified src/Pure/System/components.scala