added note about recent commit

2011-11-21 07:36:09 -06:00 · 2011-11-21 07:36:09 -06:00 · 19ccc17bf6
commit 19ccc17bf6
parent d65b85ac55
1 changed files with 5 additions and 0 deletions
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@ -1,3 +1,8 @@
+v5.2.1
+
+  * added support for side-conditions and where clauses to
+    define-relation
+
 v5.2

  * added define-judgment-form form