Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- reduce redundancy: avoid huge lists;
- more detailed profiling including "names"; avoid overlapping results;
- tuned;
- misc tuning and clarification;
- slightly more compact heap: better sharing of persistent tuples;
The file was modified | src/Pure/term_ord.ML |
The file was modified | src/Tools/profiling.ML |
The file was modified | src/Pure/Tools/profiling.scala |
The file was modified | src/Tools/profiling.ML |
The file was modified | src/Pure/General/table.ML |
The file was modified | src/Pure/General/table.ML |
The file was modified | src/Pure/General/table.ML |