Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. documented new syntax for fBall and fBex
  2. updated for release;
  3. Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
  4. misc tuning for release;
  5. update for release;
Changeset 80081:1ca617398213 by desharna:
documented new syntax for fBall and fBex
The file was modified NEWS (diff)
Changeset 80080:6e7f266b9ac2 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
Changeset 80079:01ddd3c203da by wenzelm:
Added tag Isabelle2024-RC1 for changeset 1231a7fb2510
The file was modified .hgtags (diff)
Changeset 80078:1231a7fb2510 by wenzelm:
misc tuning for release;
The file was modified NEWS (diff)
Changeset 80077:ee07b7738a24 by wenzelm:
update for release;
The file was modified COPYRIGHT (diff)