Summary
- simplified: no internal state for Mercurial;
- explicit indication of Admin tools;
- clarified files;
- explicit timezone for the sake of lxbroy10;
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) |
The file was added | src/Pure/Admin/build_doc.scala |
The file was added | src/Pure/Admin/build_stats.scala |
The file was added | src/Pure/Admin/check_sources.scala |
The file was added | src/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 removed | src/Pure/Tools/build_doc.scala |
The file was removed | src/Pure/Tools/build_stats.scala |
The file was removed | src/Pure/Tools/check_sources.scala |
The file was removed | src/Pure/Tools/remote_dmg.scala |
The file was added | src/Pure/Admin/build_history.scala |
The file was added | src/Pure/Admin/build_log.scala |
The file was added | src/Pure/Admin/ci_api.scala |
The file was added | src/Pure/Admin/ci_profile.scala |
The file was modified | src/Pure/build-jars (diff) |
The file was removed | src/Pure/Tools/build_history.scala |
The file was removed | src/Pure/Tools/build_log.scala |
The file was removed | src/Pure/Tools/ci_api.scala |
The file was removed | src/Pure/Tools/ci_profile.scala |
The file was modified | Admin/cronjob/main (diff) |