Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. simplified: no internal state for Mercurial;
  2. explicit indication of Admin tools;
  3. clarified files;
  4. explicit timezone for the sake of lxbroy10;
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)