From 9cf3fc50c7b0452704c57b91df60664889755bb8 Mon Sep 17 00:00:00 2001 From: Marc Huisinga Date: Sat, 2 Mar 2024 01:27:21 +0100 Subject: [PATCH] doc: update RELEASES.md for #3552 (#3561) --- RELEASES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASES.md b/RELEASES.md index c027b0d96b..30f2c16d76 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -89,6 +89,8 @@ v4.7.0 (development in progress) * Improved auto-completion performance. [#3460](https://github.com/leanprover/lean4/pull/3460) +* Improved initial language server startup performance. [#3552](https://github.com/leanprover/lean4/pull/3552) + * Changed call hierarchy to sort entries and strip private header from names displayed in the call hierarchy. [#3482](https://github.com/leanprover/lean4/pull/3482) * There is now a low-level error recovery combinator in the parsing framework, primarily intended for DSLs. [#3413](https://github.com/leanprover/lean4/pull/3413)