Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. store theory timings in session in build_log database; tuned;
  2. provide theory timing information, similar to command timing but always considered relevant;
  3. tuned;
  4. init user settings on fresh test machine;
  5. added [simp]
Changeset 66874:0b8da0fc9563 by wenzelm:
store theory timings in session in build_log database;<br>tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 66873:9953ae603a23 by wenzelm:
provide theory timing information, similar to command timing but always considered relevant;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 66872:69afe45a6062 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/markup.scala (diff)
Changeset 66871:a804fa68f62c by wenzelm:
init user settings on fresh test machine;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 66870:f801b36d7c4e by nipkow:
added [simp]
The file was modified src/HOL/List.thy (diff)