Updates Redex history for v5.2

Merge to release branch
2011-10-19 13:32:59 -05:00 · 2011-10-19 13:32:59 -05:00 · 210a6f329e
commit 210a6f329e
parent a81054fef4
1 changed files with 12 additions and 0 deletions
--- 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