From 8dd7ed2004df7593d1e7e459c4f6215ebbb42e08 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 17 Jan 2013 19:50:14 -0600
Subject: [PATCH] updated HISTORY

please merge to 5.3.2
(cherry picked from commit 8f756d1bcbaac3709a9adb13db96a9dc26a45459)
---
 doc/release-notes/redex/HISTORY.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index b08f7be0df..1a17bc3a96 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -11,6 +11,11 @@ v5.3.2
 
   * added 'boolean' as a new pattern
 
+  * define-relation now compiles to judgment-form
+    (instead of a metafunction)
+  
+  * added show-derivations to visualize judgment form derivations
+    	     
 v5.3.1
 
   * added optional #:lang keyword to term