Summary
- tuned;
- clarified signature;
- tuned names;
- proper SSH.System operation;
- clarified modules;
- more uniform/robust detect_repository/is_repository: actually check hg root;
- more uniform local/remote operations;
The file was modified | src/Pure/Admin/build_history.scala (diff) |
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) |
The file was modified | src/Pure/Tools/sync.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/General/mercurial.scala (diff) |
The file was modified | src/Pure/General/ssh.scala (diff) |
The file was modified | src/Pure/System/isabelle_system.scala (diff) |