Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. more compact representation of theory_id -- via consecutive thread-local ids;
  3. misc tuning and clarification;
  4. more compact representation;
  5. more compact representation;
  6. tuned signature;
  7. more compact representation of theory_id;
  8. tuned signature;
  9. compact representation of sets of integers;
Changeset 79082:722937a213ef by wenzelm:
merged
Changeset 79081:9d6359b71264 by wenzelm:
more compact representation of theory_id -- via consecutive thread-local ids;
The file was modified src/Pure/context.ML
Changeset 79080:2c457c4cd486 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/General/bitset.ML
Changeset 79079:01f9128ec655 by wenzelm:
more compact representation;
The file was modified src/Pure/General/bitset.ML
The file was modified src/Pure/Syntax/parser.ML
Changeset 79078:238c4acdf984 by wenzelm:
more compact representation;
The file was modified src/Pure/PIDE/document.ML
Changeset 79077:6b071d4041d5 by wenzelm:
tuned signature;
The file was modified src/Pure/General/bitset.ML
Changeset 79076:a1b5357b5473 by wenzelm:
more compact representation of theory_id;
The file was modified src/Pure/context.ML
Changeset 79075:e671abce8f8e by wenzelm:
tuned signature;
The file was modified src/Pure/General/bitset.ML
Changeset 79074:7f24c5be57bd by wenzelm:
compact representation of sets of integers;
The file was addedsrc/Pure/General/bitset.ML
The file was modified src/Pure/ROOT.ML