Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. unused;
  2. clarified operation: avoid perl;
  3. discontinued unused operations;
  4. clarified signature: avoid exposure of JSch types;
  5. clarified signature: discontinue somewhat pointless SSH.Context;
  6. tuned;
  7. proper path;
  8. Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
Changeset 76119:e5cfb05d312e by wenzelm:
unused;
The file was modified src/Pure/General/ssh.scala
Changeset 76118:e8e3b60d8ecd by wenzelm:
clarified operation: avoid perl;
The file was modified src/Pure/General/ssh.scala
Changeset 76117:531248fd8952 by wenzelm:
discontinued unused operations;
The file was modified src/Pure/General/ssh.scala
Changeset 76116:c4dc343fdbcb by wenzelm:
clarified signature: avoid exposure of JSch types;
The file was modified src/Pure/General/ssh.scala
Changeset 76115:f17393e21388 by wenzelm:
clarified signature: discontinue somewhat pointless SSH.Context;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/General/ssh.scala
Changeset 76114:44724221b45c by wenzelm:
tuned;
The file was modified ANNOUNCE
Changeset 76113:b62634686c72 by wenzelm:
proper path;
The file was modified lib/html/library_index_content.template
Changeset 76112:41bea72acc75 by wenzelm:
Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1
The file was modified .hgtags