Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update for release;
  2. back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
  3. performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers);
  4. clarified statistics;
Changeset 78455:127e4e952446 by wenzelm:
update for release;
The file was modified ANNOUNCE (diff)
Changeset 78454:47d5e8be39a9 by wenzelm:
back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78453:3fdf3c5cfa9d by wenzelm:
performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers);
The file was modified src/Pure/Isar/class.ML (diff)
The file was modified src/Pure/Isar/class_declaration.ML (diff)
The file was modified src/Pure/Isar/element.ML (diff)
The file was modified src/Pure/Isar/expression.ML (diff)
The file was modified src/Pure/Isar/interpretation.ML (diff)
The file was modified src/Pure/raw_simplifier.ML (diff)
Changeset 78452:14ceb9a51e97 by wenzelm:
clarified statistics;
The file was modified src/Pure/Tools/profiling.scala (diff)
The file was modified src/Tools/profiling.ML (diff)