diff --git a/collects/redex/HISTORY b/collects/redex/HISTORY
index bbf1f1074c..b033b5ed63 100644
--- a/collects/redex/HISTORY
+++ b/collects/redex/HISTORY
@@ -1,4 +1,4 @@
-("robby" "redex.plt" 5 0)
+PLT v4.1
 
   EXTENSIONS:
 
@@ -65,6 +65,10 @@
   - an extended language can now define multiple non-terminals
     together
 
+-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
+below here were the versions of Redex that appeared in PLaneT
+-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
+
 ("robby" "redex.plt" 4 4)
 
   - undid some changes that broke backwards compatibility