From 19ccc17bf6b0c649f8e6c0c35d063f1352e7fa78 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 21 Nov 2011 07:36:09 -0600 Subject: [PATCH] added note about recent commit --- doc/release-notes/redex/HISTORY.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 9c95c3cff9..ac5c8fa329 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,3 +1,8 @@ +v5.2.1 + + * added support for side-conditions and where clauses to + define-relation + v5.2 * added define-judgment-form form