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. tuned;
  3. clarified theory status;
  4. dump ZF in parallel to HOL Main;
  5. tuned messages;
  6. more ambitious options (again);
  7. more ambitious options (again, after 93aa546ffbac);
  8. tuned signature;
  9. proper clean_theories wrt. dynamic dep_graph;
  10. tuned signature;
  11. potentially more robust: read under lock if not yet set;
  12. tuned;
Changeset 70706:374caac3d624 by wenzelm:
merged
Changeset 70705:437da7b72b5e by wenzelm:
tuned;
The file was modified src/Pure/PIDE/headless.scala
Changeset 70704:b080d1fb9777 by wenzelm:
clarified theory status;
The file was modified src/Pure/PIDE/headless.scala
Changeset 70703:edd856e6051a by wenzelm:
dump ZF in parallel to HOL Main;
The file was modified src/ZF/ROOT
Changeset 70702:a65b9624cb98 by wenzelm:
tuned messages;
The file was modified src/Pure/PIDE/headless.scala
Changeset 70701:e54213954efc by wenzelm:
more ambitious options (again);
The file was modified src/Pure/Tools/dump.scala
Changeset 70700:4b3cfd73f428 by wenzelm:
more ambitious options (again, after 93aa546ffbac);
The file was modified src/Pure/Tools/dump.scala
Changeset 70699:3eb30d80cee6 by wenzelm:
tuned signature;
The file was modified src/Pure/General/graph.scala
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/PIDE/headless.scala
Changeset 70698:93aa546ffbac by wenzelm:
proper clean_theories wrt. dynamic dep_graph;
The file was modified src/Pure/PIDE/headless.scala
Changeset 70697:43bdcf778cfe by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/headless.scala
Changeset 70696:47ca5c7550e4 by wenzelm:
potentially more robust: read under lock if not yet set;
The file was modified src/Pure/Concurrent/single_assignment.ML
Changeset 70695:5d32cca55c2a by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML