Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned names;
  2. proper SSH.System operation;
  3. clarified modules;
  4. more uniform/robust detect_repository/is_repository: actually check hg root;
  5. more uniform local/remote operations;
Changeset 80191:c934f0e51f1c by wenzelm:
tuned names;
The file was modified src/Pure/Tools/sync.scala
Changeset 80190:9f3e0d98fbec by wenzelm:
proper SSH.System operation;
The file was modified src/Pure/General/mercurial.scala
Changeset 80189:e8d4ac2f21ea by wenzelm:
clarified modules;
The file was modified src/Pure/General/mercurial.scala
The file was modified src/Pure/General/ssh.scala
Changeset 80188:3956e8b6a9c9 by wenzelm:
more uniform/robust detect_repository/is_repository: actually check hg root;
The file was modified src/Pure/General/mercurial.scala
Changeset 80187:b8918a5a669e by wenzelm:
more uniform local/remote operations;
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/isabelle_system.scala