Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned signature;
  2. tuned signature;
  3. clarified sessions/directories;
Changeset 70855:8a43ce639d85 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
Changeset 70854:85c2cbd35632 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 70853:c92ae7b0f3f1 by wenzelm:
clarified sessions/directories;
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Tools/ROOT (diff)