Update RELEASES.md

leanprover-community · Nov 4, 2024 · 1383e72 · 1383e72
1 parent 81dfa90
commit 1383e72
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/RELEASES.md b/RELEASES.md
@@ -3,13 +3,18 @@
 This file contains work-in-progress notes for the upcoming release, as well as previous releases.
 Please check the [releases](https://github.com/leanprover-community/ProofWidgets4/releases) page for the build artifacts.
 
-v0.0.45
+v0.0.46
 -------
 
 * Renamed `DigraphDisplay` to `GraphDisplay`.
   Undirected graphs can be rendered by turning off arrowheads.
 * Added support for edge labels and more customization to `GraphDisplay`.
 
+v0.0.45
+-------
+
+* Updated Lean to v4.14.0-rc1.
+
 v0.0.44
 -------