Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more complete session (amending e77ea0ea7f2c);
  2. clarified imports;
  3. more complete session (amending 783861a66a60);
Changeset 66445:407de0768126 by wenzelm:
more complete session (amending e77ea0ea7f2c);
The file was modified src/HOL/ROOT (diff)
Changeset 66444:6d2d993fa76e by wenzelm:
clarified imports;
The file was modified src/CCL/ROOT (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/LCF/ROOT (diff)
The file was modified src/ZF/ROOT (diff)
Changeset 66443:657c517c7dc6 by wenzelm:
more complete session (amending 783861a66a60);
The file was modified src/HOL/ROOT (diff)