diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index 94f22016e6..ce7d3701e4 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,3 +1,12 @@
+v5.0
+
+  * added an optional term-equivalence predicate to the test--> and
+    test-->> forms
+
+  * added R6RS and Racket VM models to examples sub-collection
+
+  * fixed minor bugs
+  
 v4.2.5
 
   * reversed the order in which `where' and `side-condition' clauses