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