Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- more compact representation of theory_id -- via consecutive thread-local ids;
- misc tuning and clarification;
- more compact representation;
- more compact representation;
- tuned signature;
- more compact representation of theory_id;
- tuned signature;
- compact representation of sets of integers;
The file was modified | src/Pure/context.ML |
The file was modified | src/Pure/General/bitset.ML |
The file was modified | src/Pure/General/bitset.ML |
The file was modified | src/Pure/Syntax/parser.ML |
The file was modified | src/Pure/PIDE/document.ML |
The file was modified | src/Pure/General/bitset.ML |
The file was modified | src/Pure/context.ML |
The file was modified | src/Pure/General/bitset.ML |
The file was added | src/Pure/General/bitset.ML |
The file was modified | src/Pure/ROOT.ML |