Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned;
  2. add root entry for non-local components;
  3. clarified;
Changeset 80409:20a28953fb57 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80408:e6d3d1db6136 by fabian huch _huch@in.tum.de_:
add root entry for non-local components;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80407:fc26d6200560 by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Build/build_manager.scala