Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified check: allow to remove bad directories;
  2. clarified check; tuned message;
  3. tuned message;
Changeset 76551:c7996b073524 by wenzelm:
clarified check: allow to remove bad directories;
The file was modified src/Pure/System/components.scala
Changeset 76550:a82fc7755ba5 by wenzelm:
clarified check;<br>tuned message;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/System/components.scala
Changeset 76549:8f580e62ca6e by wenzelm:
tuned message;
The file was modified src/Pure/Thy/sessions.scala