Updates the Redex history for v5.1

Please merge to release branch. (cherry picked from commit 309bb47c7e)
2011-02-02 10:36:10 -06:00 · 2011-02-02 10:36:10 -06:00 · 709947bbb1
commit 709947bbb1
parent 9e101a2941
1 changed files with 14 additions and 0 deletions
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@ -1,3 +1,17 @@
+v5.1
+
+  * adds an optional #:pred keyword argument to `test-->>' form
+
+  * added the `redex-pseudo-random-generator' parameter
+
+  * added option `::=' syntax to non-terminal definitions
+
+  * added contract support to `define-relation'
+
+  * added the `test-->∃' form
+
+  * fixed minor bugs
+
 v5.0.2

  * added `pretty-print-parameters' to control term pretty-printing