mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
91a150939f
The `releases_drafts/` folder contained two entries that were already covered in earlier releases: - `module-system.md` — the module system was stabilized in v4.27.0 (https://github.com/leanprover/lean4/pull/11637) - `environment.md` — the `importModules`/`finalizeImport` `loadExts` change landed in v4.20.0 (https://github.com/leanprover/lean4/pull/6325) Discovered while preparing the v4.29.0-rc1 release notes. 🤖 Prepared with Claude Code Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>
Draft release notes
This folder contains drafts of release notes for the upcoming version. During the process to create a release candidate, we look through all the commits that make up the release to prepare the release notes, and in that process we take these drafts into account.
Guidelines:
- Write good commit messages
The first paragraph should briefly explain the impact of a change from a user's point of view.
(Recall: the first paragraph, which should begin with "This PR",
is automatically incorporated into the release notes by
script/release_notes.py. Seedoc/dev/release_checklist.mdfor more details.). - This folder is only needed for larger features that span multiple PRs, or for anything that would be helpful when preparing the release notes that might be missed by someone reading through the change log.
When notes from this folder are incorporated into the Lean Language Reference, they should then be deleted from here.