Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. init Mercurial repository for the generated session files;
  2. more operations;
  3. tuned signature;
  4. proper ssh.bash_path;
  5. more operations;
Changeset 67069:f11486d31586 by wenzelm:
init Mercurial repository for the generated session files;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 67068:46ce32fd5f53 by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 67067:02729ced9b1e by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/remote_dmg.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 67066:1645cef7a49c by wenzelm:
proper ssh.bash_path;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 67065:d9a347af82ab by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)