Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merged
  2. more informative ZBox;
  3. more operations;
  4. tuned signature;
  5. tuned;
  6. tuned signature;
  7. remove unused (see also 04214caeb9ac);
  8. tuned signature;
Changeset 80269:0428c7ad25aa by wenzelm:
merged
Changeset 80268:979f3893aa37 by wenzelm:
more informative ZBox;
The file was modified src/Pure/zterm.ML
Changeset 80267:ea908185a597 by wenzelm:
more operations;
The file was modified src/Pure/zterm.ML
Changeset 80266:d52be75ae60b by wenzelm:
tuned signature;
The file was modified src/Pure/zterm.ML
Changeset 80265:cb795bbce540 by wenzelm:
tuned;
The file was modified src/Pure/zterm.ML
Changeset 80264:71c1cf9e7413 by wenzelm:
tuned signature;
The file was modified src/Pure/zterm.ML
Changeset 80263:8a0ccdcae2d1 by wenzelm:
remove unused (see also 04214caeb9ac);
The file was modified src/Pure/Build/export_theory.ML
Changeset 80262:d49f3a1c06a6 by wenzelm:
tuned signature;
The file was modified src/Pure/zterm.ML