add note about define-judgement-form fix

2013-04-05 10:09:21 -05:00 · 2013-04-05 10:09:21 -05:00 · 9af84cb549
commit 9af84cb549
parent cfe3a7d5bf
1 changed files with 6 additions and 0 deletions
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@ -15,6 +15,12 @@ v5.3.4
    contracts that have to relate different arguments to a
    metafunction.

+  * Fixed the way random generation for define-judgment-form works so
+    that it properly handles metafunctions (i.e., it properly takes
+    into account that previous patterns in a metafunction must not
+    match when generating a particular clause)
+
+
 v5.3.3

 No changes