Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified signature;
  3. tuned names;
  4. proper SSH.System operation;
  5. clarified modules;
  6. more uniform/robust detect_repository/is_repository: actually check hg root;
  7. more uniform local/remote operations;
Changeset 80193:ed8a3f4e3de7 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 80192:36e6ba1527f0 by wenzelm:
clarified signature;
The file was modified src/Pure/General/rsync.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 80191:c934f0e51f1c by wenzelm:
tuned names;
The file was modified src/Pure/Tools/sync.scala (diff)
Changeset 80190:9f3e0d98fbec by wenzelm:
proper SSH.System operation;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 80189:e8d4ac2f21ea by wenzelm:
clarified modules;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
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 (diff)
Changeset 80187:b8918a5a669e by wenzelm:
more uniform local/remote operations;
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)