From 9664712564ceff469899a02abff5a807c573add7 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 7 Aug 2008 02:49:13 +0000
Subject: [PATCH] svn: r11119

---
 collects/redex/HISTORY | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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