From a12141f3cae61ddd050a058a16dfd06fd38c4f02 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 26 Jun 2009 01:21:09 +0000 Subject: [PATCH] svn: r15295 --- doc/release-notes/redex/HISTORY.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index db5386cac4..68374da075 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,5 +1,8 @@ v4.2.1 + * improved 'where' conditions in metafunctions and reduction-relations + so that they work with Redex's full pattern language. + * added 'define-relation' * relaxed the restrictions on metafunctions so that multiple