Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. more portable print_time, notably for occasional negative (!) elapsed time of theory_timing;
  3. polyml-test version based on experimental branch NewTestRegisterSave;
Changeset 67001:b34fbf33a7ea by wenzelm:
tuned;
The file was modified src/Pure/General/timing.ML (diff)
Changeset 67000:1698e9ccef2d by wenzelm:
more portable print_time, notably for occasional negative (!) elapsed time of theory_timing;
The file was modified src/Pure/Concurrent/timeout.ML (diff)
The file was modified src/Pure/General/timing.ML (diff)
The file was modified src/Pure/General/value.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
Changeset 66999:c70c47dcf63e by wenzelm:
polyml-test version based on experimental branch NewTestRegisterSave;
The file was modified Admin/components/components.sha1 (diff)