Skip to content
Success

Changes

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

Summary

  1. tuned message;
Changeset 76557:6dc213e7f664 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/mkroot.scala