Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified parent session images, to avoid duplicate loading of theories;
  3. tuned;
  4. removed pointless document;
Changeset 65551:d164c4fc0d2c by wenzelm:
merged
Changeset 65550:e957b1f00449 by wenzelm:
clarified parent session images, to avoid duplicate loading of theories;
The file was modified src/HOL/ROOT (diff)
Changeset 65549:263f2a046308 by wenzelm:
tuned;
The file was modified src/HOL/ROOT (diff)
Changeset 65548:b7caa2b8bdbf by wenzelm:
removed pointless document;
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/ex/document/root.bib
The file was removedsrc/HOL/ex/document/root.tex