Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to post-release mode -- after fork point;
  2. Added tag Isabelle2022-RC3 for changeset d704efeb01db
  3. proper cygwin component (see d042947e47a3)
  4. proper base names;
  5. suppress command echo in output;
  6. include openssh for rsync (see also a1c7829ac2de);
  7. provide naproche-20221002;
Changeset 76244:6ab4bb7cb8b2 by wenzelm:
back to post-release mode -- after fork point;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 76243:02c1ffc23d95 by wenzelm:
Added tag Isabelle2022-RC3 for changeset d704efeb01db
The file was modified .hgtags (diff)
Changeset 76242:d704efeb01db by wenzelm:
proper cygwin component (see d042947e47a3)
The file was modified Admin/components/bundled-windows (diff)
Changeset 76241:aa6ce2e51e6c by wenzelm:
proper base names;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76240:30d43e9b2077 by wenzelm:
suppress command echo in output;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 76239:d042947e47a3 by wenzelm:
include openssh for rsync (see also a1c7829ac2de);
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 76238:2a052820523d by wenzelm:
provide naproche-20221002;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/components.sha1 (diff)