From 29ca40e3b2d0847f7e5b8b774a0d2f4078e4a3d9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 19 Jun 2009 14:58:58 +0000 Subject: [PATCH] svn: r15215 --- doc/release-notes/redex/HISTORY.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 7475409562..8ff8847498 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,6 +1,6 @@ v4.2.1 - * added a first attempt at 'define-relation' + * added 'define-relation' v4.2