Changes

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

Summary

  1. clarified message;
Changeset 75796:e5c3353df22e by wenzelm:
clarified message;
The file was modifiedsrc/Pure/Admin/build_release.scala