Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned documentation;
  2. tuned;
Changeset 71365:462f341407b4 by wenzelm:
tuned documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71364:aecea7c4bda1 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)