Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. time funs: +1 instead of 1+
  2. minor performance tuning;
  3. clarified signature: more comprehensive operations;
  4. clarified signature: more explicit types;
  5. clarified signature: emphasize physical db files;
  6. tuned: afford untyped/unscoped update;
  7. clarified signature: avoid ill-defined type java.net.URL;
  8. unused;
Changeset 79665:0a152b2f73ae by nipkow:
time funs: +1 instead of 1+
The file was modified src/HOL/Data_Structures/Define_Time_Function.ML (diff)
Changeset 79664:26fa2e8761fb by wenzelm:
minor performance tuning;
The file was modified src/Pure/Build/store.scala (diff)
Changeset 79663:4a299bdb5d61 by wenzelm:
clarified signature: more comprehensive operations;
The file was modified src/Pure/Build/store.scala (diff)
Changeset 79662:dca6ea3b7a01 by wenzelm:
clarified signature: more explicit types;
The file was modified src/Pure/Build/store.scala (diff)
The file was modified src/Pure/Tools/sync.scala (diff)
Changeset 79661:2a9d8c74eb3c by wenzelm:
clarified signature: emphasize physical db files;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Build/store.scala (diff)
The file was modified src/Pure/Tools/sync.scala (diff)
Changeset 79660:49475f8bb4cc by wenzelm:
tuned: afford untyped/unscoped update;
The file was modified src/Pure/Admin/ci_build.scala (diff)
The file was modified src/Pure/Build/build_benchmark.scala (diff)
Changeset 79659:a4118f530263 by wenzelm:
clarified signature: avoid ill-defined type java.net.URL;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/System/classpath.scala (diff)
Changeset 79658:5d77df3d30d1 by wenzelm:
unused;
The file was modified src/Pure/General/http.scala (diff)