updated HISTORY

please merge to 5.3.2 (cherry picked from commit 8f756d1bcb)
2013-01-17 19:50:14 -06:00 · 2013-01-17 19:50:14 -06:00 · 8dd7ed2004
commit 8dd7ed2004
parent a1aa97c1fd
1 changed files with 5 additions and 0 deletions
--- 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