Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. reduce redundancy: avoid huge lists;
  3. more detailed profiling including "names"; avoid overlapping results;
  4. tuned;
  5. misc tuning and clarification;
  6. slightly more compact heap: better sharing of persistent tuples;
Changeset 79097:db7d6dcaeb32 by wenzelm:
merged
Changeset 79096:48187f1a615e by wenzelm:
reduce redundancy: avoid huge lists;
The file was modified src/Pure/term_ord.ML
The file was modified src/Tools/profiling.ML
Changeset 79095:3bdd3cf5f5e0 by wenzelm:
more detailed profiling including &quot;names&quot;;<br>avoid overlapping results;
The file was modified src/Pure/Tools/profiling.scala
The file was modified src/Tools/profiling.ML
Changeset 79094:58bb68b9470f by wenzelm:
tuned;
The file was modified src/Pure/General/table.ML
Changeset 79093:6c5ca8f04d60 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/General/table.ML
Changeset 79092:06176f4e2e70 by wenzelm:
slightly more compact heap: better sharing of persistent tuples;
The file was modified src/Pure/General/table.ML