Changes

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

Summary

  1. tuned message;
Changeset 75793:5e00c5ffc040 by wenzelm:
tuned message;
The file was modifiedsrc/Pure/Tools/build.scala