diff --git a/collects/redex/HISTORY b/collects/redex/HISTORY
index 8161b4a192..d14fc63fa6 100644
--- a/collects/redex/HISTORY
+++ b/collects/redex/HISTORY
@@ -12,6 +12,8 @@
 
   CHANGES:
 
+  - define-metafunction and co. now use a different syntax.
+
   - zero occurrences of a hole when matching an `in-hole' now
     correctly fails.