only an expectation that breaking changes will be documented in the release notes. The folder [releases/](github.com/leanprover/lea…) contains work-in-progress notes for the upcoming release, as well as previ [...] github.com/leanprover/lea…

[Release notes](lean-lang.org/doc/reference/…) are available in the Lean language reference. Release notes for the current release candidate are available on the GitHub [releases](github.com/lea [...] github.com/leanprover/lea…