Update RELEASES.md

leanprover-community · Nov 20, 2024 · 4546ff0 · 4546ff0
1 parent cbb87f2
commit 4546ff0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -3,6 +3,11 @@
 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.47 (WIP)
+-------
+* Generalized `GraphDisplay.Vertex.radius` to `GraphDisplay.Vertex.boundingShape`.
+* Added demo of metavariable graph display in tactic proofs.
+
 v0.0.46
 -------