Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. moved to proper release (cf. 4a72b37ac4b8); tuned;
  2. updated for release;
  3. merged
  4. Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
Changeset 64073:cffd5f537206 by wenzelm:
moved to proper release (cf. 4a72b37ac4b8);<br>tuned;
The file was modified NEWS (diff)
Changeset 64072:9f96e4da3064 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 64071:21b83e8121aa by wenzelm:
merged
Changeset 64070:a480dd2fcfd8 by wenzelm:
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
The file was modified .hgtags (diff)