Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to post-release mode -- after fork point;
  2. tuned;
  3. Added tag Isabelle2017-RC2 for changeset e9d8ff531700
Changeset 66651:435cb8d69e27 by wenzelm:
back to post-release mode -- after fork point;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 66650:bcea02893d17 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 66649:2230dc7a1764 by wenzelm:
Added tag Isabelle2017-RC2 for changeset e9d8ff531700
The file was modified .hgtags (diff)