svn: r11119

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