From 4576b856fa99facb9a9097fa38e201b78398ab8c Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Thu, 18 Jan 2024 14:49:07 +0100 Subject: [PATCH] Note #77 in changelog. --- ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ChangeLog b/ChangeLog index 1754ecb..41e86d6 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +next +---- + +* Data.Graph.Inductive.NodeMap now has functions mkLookupNode, + insMapLookupNode, memberNode, and lookupNode for detecting whether a + graph already contains a node (issue #72, PR #77). + 5.8.2.0 -------