Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. updated for release;
  2. Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
Changeset 80080:6e7f266b9ac2 by wenzelm:
updated for release;
The file was modified ANNOUNCE
Changeset 80079:01ddd3c203da by wenzelm:
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
The file was modified .hgtags