Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned messages;
  2. tuned message;
Changeset 62596:cf79f8866bc3 by wenzelm:
tuned messages;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 62595:092c63734cc6 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/build.scala (diff)