Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. tuned signature;
  2. more operations for profiling;
  3. provide rsync component, with uniform version + options on all platforms;
  4. tuned message;
  5. provide local component to remote directory;
  6. tuned output;
  7. more SSH operations;
  8. more operations;
  9. tuned comments;
  10. clarified directory names, following bash_process (see e59d7d6fe1bd);
  11. tuned README;
  12. clarified build options;
Changeset 77766:c6c4069a86f3 by wenzelm:
tuned signature;
The file was modified src/Pure/context.ML
Changeset 77765:8db468bd1ec6 by wenzelm:
more operations for profiling;
The file was modified src/Pure/ML/ml_heap.ML
Changeset 77764:44a6ac96314d by wenzelm:
provide rsync component, with uniform version + options on all platforms;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 77763:2abc452d0ee9 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/component_rsync.scala
Changeset 77762:f73400337c5c by wenzelm:
provide local component to remote directory;
The file was modified src/Pure/System/components.scala
Changeset 77761:04a250facd44 by wenzelm:
tuned output;
The file was modified src/Pure/General/ssh.scala
Changeset 77760:34178d26a360 by wenzelm:
more SSH operations;
The file was modified src/Pure/General/ssh.scala
The file was modified src/Pure/System/components.scala
The file was modified src/Pure/Thy/sessions.scala
Changeset 77759:f513f754c026 by wenzelm:
more operations;
The file was modified src/Pure/Admin/component_rsync.scala
Changeset 77758:2e3c7c557151 by wenzelm:
tuned comments;
The file was modified src/Pure/Admin/component_lipics.scala
Changeset 77757:49d38fa1478d by wenzelm:
clarified directory names, following bash_process (see e59d7d6fe1bd);
The file was modified src/Pure/Admin/component_rsync.scala
Changeset 77756:efd5c582d7ae by wenzelm:
tuned README;
The file was modified src/Pure/Admin/component_rsync.scala
Changeset 77755:12c8d72df48a by wenzelm:
clarified build options;
The file was modified src/Pure/Admin/component_rsync.scala