From a38f02160e05a249175b82c435fcae2327f24458 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 19 Oct 2011 13:32:59 -0500 Subject: [PATCH] Updates Redex history for v5.2 Merge to release branch (cherry picked from commit 210a6f329ee19ad44bb5d321f5386a1a3cd42227) --- doc/release-notes/redex/HISTORY.txt | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 55e838c326..9c95c3cff9 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,3 +1,15 @@ +v5.2 + + * added define-judgment-form form + + * added define-term form + + * added with-compound-rewriters form + + * added Ariola-Felleisen by-need evaluation contexts to examples + + * improved error message for definition forms in expression contexts + v5.1.2 * added support for typsetting define-relation relations