From 56b74c071252cdd145102c9e155646066b27b81b Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 20 Jul 2010 18:58:58 -0500 Subject: [PATCH] Updates history for v5.0.1 (merge to branch) --- doc/release-notes/redex/HISTORY.txt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index c4c12d38cd..d339c71d4b 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,9 +1,13 @@ +v5.0.1 + * changed the matching of `where' clauses in a backwards-incompatible way. Previously, pattern variables bound by - a `where' left-hand side shadowed bindings from earlier clause's + a `where' left-hand side shadowed bindings from earlier clauses and the case's left-hand side; now, `where' clauses match only when their bindings match the existing ones. + * fixed minor bugs + v5.0 * added an optional term-equivalence predicate to the test--> and