Skip to content
Success

Changes

Summary

  1. tuned;
  2. special case for local contrib, e.g. lxbroy10;
  3. merged
  4. tuned signature;
  5. tuned;
  6. clarified task logging via log service;
  7. more explicit management of tasks; separate logger thread with exclusive access to main.log;
  8. tuned;
  9. added clone_repository; tuned;
  10. support remote repositories via ssh command execution; tuned;
  11. tuned signature;
  12. modernized;
Changeset 64176:35644caa62a7 by wenzelm:
tuned;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 64175:8945293a9ed0 by wenzelm:
special case for local contrib, e.g. lxbroy10;
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 64174:54479f7b6685 by wenzelm:
merged
Changeset 64173:85ff21510ba9 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/ROOT.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 64172:e7863057df41 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64171:568cd5123952 by wenzelm:
clarified task logging via log service;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64170:a0c2cbe2fc8e by wenzelm:
more explicit management of tasks;<br>separate logger thread with exclusive access to main.log;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64169:3b618d52119e by wenzelm:
tuned;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64168:e573b985390c by wenzelm:
added clone_repository;<br>tuned;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64167:097d122222f6 by wenzelm:
support remote repositories via ssh command execution;<br>tuned;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 64166:44925cf6ded1 by wenzelm:
tuned signature;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 64165:2e1b25d6c108 by wenzelm:
modernized;
The file was modified src/Pure/Admin/ci_profile.scala (diff)