From 02b724f79abe0a75367658ff266c156fbb7ade12 Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Sun, 3 Nov 2024 20:05:08 -0500 Subject: [PATCH] chore: release notes --- RELEASES.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/RELEASES.md b/RELEASES.md index deadd6d..9403e5f 100644 --- 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 -------