Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. minor performance tuning;
  2. merged
  3. minor performance tuning: save approx. 70ms per SSH command;
  4. minor performance tuning: save approx. 70ms per SSH command;
  5. minor performance tuning: save approx. 70ms per SSH test command;
  6. suport Isabelle_System.bash via SSH.System;
  7. more operations;
  8. tuned;
  9. clarified signature;
  10. clarified signature;
  11. obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
  12. tuned tmp name;
  13. tuned;
  14. tuned;
  15. tuned comments;
Changeset 80223:d389577a6fba by wenzelm:
minor performance tuning;
The file was modified src/Pure/System/other_isabelle.scala
Changeset 80222:18a36de467bc by wenzelm:
merged
Changeset 80221:0d89f0a39854 by wenzelm:
minor performance tuning: save approx. 70ms per SSH command;
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/bash.scala
Changeset 80220:928e02d0cab7 by wenzelm:
minor performance tuning: save approx. 70ms per SSH command;
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/bash.scala
Changeset 80219:840ca997deac by wenzelm:
minor performance tuning: save approx. 70ms per SSH test command;
The file was modified src/Pure/System/components.scala
Changeset 80218:875968a3b2f9 by wenzelm:
suport Isabelle_System.bash via SSH.System;
The file was modified src/Pure/Admin/component_bash_process.scala
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/bash.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 80217:e0606fb415d2 by wenzelm:
more operations;
The file was modified src/Pure/General/ssh.scala
Changeset 80216:3a8898007038 by wenzelm:
tuned;
The file was modified src/Pure/General/ssh.scala
Changeset 80215:c6d18c836509 by wenzelm:
clarified signature;
The file was modified src/Pure/General/ssh.scala
Changeset 80214:d78446e2b613 by wenzelm:
clarified signature;
The file was modified src/Pure/General/ssh.scala
Changeset 80213:d13b8ee54885 by wenzelm:
obsolete: macOS 10.x is no longer supported (see also 059743bc8311);
The file was modified lib/scripts/download_file
Changeset 80212:67b5e8b88728 by wenzelm:
tuned tmp name;
The file was modified src/Pure/General/ssh.scala
Changeset 80211:2ec1b11f1f93 by wenzelm:
tuned;
The file was modified src/Pure/General/ssh.scala
Changeset 80210:f0ead4febf7f by wenzelm:
tuned;
The file was modified src/Pure/General/ssh.scala
Changeset 80209:f2fa6753c3e2 by wenzelm:
tuned comments;
The file was modified src/Pure/General/ssh.scala