From 0d7051497ea09b2b4a4ef608e371b8f317487c3c Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Tue, 31 Oct 2023 12:09:40 +1100 Subject: [PATCH] remove v4.3.0 section from RELEASES.md --- RELEASES.md | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/RELEASES.md b/RELEASES.md index b28ab73b607b..f73bcf8f20fa 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -7,16 +7,6 @@ only an expectation that breaking changes will be documented in this file. This file contains work-in-progress notes for the upcoming release, as well as previous stable releases. Please check the [releases](https://github.com/leanprover/lean4/releases) page for the current status of each version. -v4.3.0 (development in progress) ---------- - -* [Cancel outstanding tasks on document edit in the language server](https://github.com/leanprover/lean4/pull/2648). -* **Lake:** Changed `postUpdate?` configuration option to a `post_update` declaration. See the `post_update` syntax docstring for more information on the new syntax. - -* [Lake: A manifest is automatically created on workspace load if one does not exists.](https://github.com/leanprover/lean4/pull/2680). - -* **Lake:** The `:=` syntax for configuration declarations (i.e., `package`, `lean_lib`, and `lean_exe`) has been deprecated. For example, `package foo := {...}` is deprecated. - v4.2.0 ---------