Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build_history log files with formal meta info;
  2. prefer explicit timezone offset for printing;
  3. tuned;
Changeset 64117:c2b41b073d8a by wenzelm:
build_history log files with formal meta info;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_history.scala (diff)
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64116:6cfd429a4296 by wenzelm:
prefer explicit timezone offset for printing;
The file was modified src/Pure/Tools/build_log.scala (diff)
Changeset 64115:68619fa37ca7 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/batch_session.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ci_profile.scala (diff)
The file was modified src/Pure/Tools/ml_console.scala (diff)