From 1e9a606bb791716f56afbf663d877e1334ec853d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 25 Jun 2009 19:48:18 +0000 Subject: [PATCH] svn: r15275 --- doc/release-notes/redex/HISTORY.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 8ff8847498..db5386cac4 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -2,6 +2,10 @@ v4.2.1 * added 'define-relation' + * relaxed the restrictions on metafunctions so that multiple + pattern matches are allowed, as long as the right-hand side + has the same value for each different pattern binding + v4.2 * minor bug fixes