Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed obsolete RC tags;
  2. merged
  3. Added tag Isabelle2020 for changeset abf3e80bd815
  4. tuned NEWS;
  5. tuned NEWS;
Changeset 71754:2006be3cb98b by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 71753:65b7d9ec05f5 by wenzelm:
merged
Changeset 71752:5d360394f292 by wenzelm:
Added tag Isabelle2020 for changeset abf3e80bd815
The file was modified .hgtags (diff)
Changeset 71751:abf3e80bd815 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 71750:f39b1afe8845 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)