From 2b246e2ad2e52c02ae9409af70a63ed55919df6c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Fri, 19 Oct 2012 09:34:52 -0500
Subject: [PATCH] added note about Burke's recent push

---
 doc/release-notes/redex/HISTORY.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 7bac3ffbee..f90b11e916 100644
--- 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