chore: release notes

leanprover-community · Nov 4, 2024 · 02b724f · 02b724f
1 parent 856f794
commit 02b724f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/RELEASES.md b/RELEASES.md
@@ -3,6 +3,13 @@
 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
+-------
+
+* 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.44
 -------