Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- back to post-release mode -- after fork point;
- Added tag Isabelle2022-RC3 for changeset d704efeb01db
- proper cygwin component (see d042947e47a3)
- proper base names;
- suppress command echo in output;
- include openssh for rsync (see also a1c7829ac2de);
- provide naproche-20221002;
The file was modified | CONTRIBUTORS |
The file was modified | NEWS |
The file was modified | .hgtags |
The file was modified | Admin/components/bundled-windows |
The file was modified | src/Pure/General/ssh.scala |
The file was modified | src/Pure/General/ssh.scala |
The file was modified | Admin/components/components.sha1 |
The file was modified | src/Pure/Admin/build_cygwin.scala |
The file was modified | Admin/Release/CHECKLIST |
The file was modified | Admin/components/components.sha1 |