Code

chore: release notes for 4.10.0#4857

Code

Merged

kmill merged 6 commits intoleanprover:releases/v4.10.0leanprover/lean4:releases/v4.10.0from kmill:release_notes_4_10_0kmill/lean4:release_notes_4_10_0Copy head branch name to clipboardJul 30, 2024

+292-49

Commits

Commits on Jul 28, 2024

• release notes

  kmill

  committed
  df6253e

Commits on Jul 29, 2024

• got through notes

  kmill

  committed
  a982c76

• formatting fix

  kmill

  committed
  7433cff

• moved some entries for 4.10 to 4.9

  kmill

  committed
  e4e84c5

• Mac suggestions

  kmill

  committed
  e6a424e

• Missed a 4.9.0 breaking change. Adding here, will copy to master

  kmill

  committed
  521b602