added note about Burke's recent push

2012-10-19 09:34:52 -05:00 · 2012-10-19 09:34:52 -05:00 · 2b246e2ad2
commit 2b246e2ad2
parent cbfb1fdb37
1 changed files with 6 additions and 0 deletions
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@ -1,3 +1,9 @@
+v5.3.2
+
+  * added random-generation based on define-judgment-form
+    (which allows Redex to more effectively generate things
+     like well-typed terms)
+
 v5.3.1

  * added optional #:lang keyword to term