Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned;
  2. merged
  3. Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
Changeset 64428:de00179d2147 by wenzelm:
tuned;
The file was modified ANNOUNCE (diff)
Changeset 64427:195242d16c03 by wenzelm:
merged
Changeset 64426:cec5427b5c5f by wenzelm:
Added tag Isabelle2016-1-RC1 for changeset 9ee2480d10b7
The file was modified .hgtags (diff)