diff --git a/CHANGES.md b/CHANGES.md
index c904c93a..07fb1bc0 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -30,6 +30,10 @@
 * Add a syntax highlight file for Vim,
   available in `syntax-highlight/cryptol.vim`
 
+* Add `:new-seed` and `:set-seed` commands to the REPL. 
+  These affect random test generation,
+  and help write reproducable Cryptol scripts.
+
 ## Bug fixes
 
 * Fix a bug in the What4 backend that could cause applications of `(@)` with