updated HISTORY

rfindler · rmculpepper · commit 8dd7ed2004df · 2013-01-18T15:55:38.000-05:00
please merge to 5.3.2 (cherry picked from commit 8f756d1)
diff --git 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
