Skip to content
Failed

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;
  13. separate type class for arbitrary quotient and remainder partitions
  14. stripped dependency on pragmatic type class semiring_div
  15. simplified: no internal state for Mercurial;
  16. explicit indication of Admin tools;
  17. clarified files;
  18. explicit timezone for the sake of lxbroy10;
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)
Changeset 64164:38c407446400 by haftmann:
separate type class for arbitrary quotient and remainder partitions
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Rings.thy (diff)
Changeset 64163:62c9e5c05928 by haftmann:
stripped dependency on pragmatic type class semiring_div
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
Changeset 64162:03057a8fdd1f by wenzelm:
simplified: no internal state for Mercurial;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/check_sources.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 64161:2b1128e95dfb by wenzelm:
explicit indication of Admin tools;
The file was addedsrc/Pure/Admin/build_doc.scala
The file was addedsrc/Pure/Admin/build_stats.scala
The file was addedsrc/Pure/Admin/check_sources.scala
The file was addedsrc/Pure/Admin/remote_dmg.scala
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/build_doc.scala
The file was removedsrc/Pure/Tools/build_stats.scala
The file was removedsrc/Pure/Tools/check_sources.scala
The file was removedsrc/Pure/Tools/remote_dmg.scala
Changeset 64160:1eea419fab65 by wenzelm:
clarified files;
The file was addedsrc/Pure/Admin/build_history.scala
The file was addedsrc/Pure/Admin/build_log.scala
The file was addedsrc/Pure/Admin/ci_api.scala
The file was addedsrc/Pure/Admin/ci_profile.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Tools/build_history.scala
The file was removedsrc/Pure/Tools/build_log.scala
The file was removedsrc/Pure/Tools/ci_api.scala
The file was removedsrc/Pure/Tools/ci_profile.scala
Changeset 64159:fe8f8f88a1d7 by wenzelm:
explicit timezone for the sake of lxbroy10;
The file was modified Admin/cronjob/main (diff)