From 611f8590f7c5f1ca9918d7dbae765c24a45f5ca3 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 14 Nov 2013 08:36:10 -0600
Subject: [PATCH] Bring HISTORY up to date

---
 pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt | 25 ++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
index ff0440f864..88215d911f 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
+++ b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
@@ -1,7 +1,30 @@
-v5.3.4.11
+v6.0
 
+  * Added an enumerator for patterns. For example, here's how to get
+    the first 100 untyped LC terms (over 3 variables) and the 10^10000-th:
+
+        #lang racket
+        (require redex)
+        
+        (define-language L
+          (e (e e) x (λ (x) e))
+          (x a b c))
+        
+        (for/list ([i (in-range 100)])
+          (generate-term L e #:i-th i))
+
+        (generate-term L e #:i-th (expt 10 10000))
+
+    Thanks to Max New for the enumerator.
+
+  * More patterns that match no terms are now syntax errors, e.g.:
+    (any_1 ..._!_1 any_2 ..._!_1 (any_1 any_2) ...)
+ 
   * added where-make-prefix-pict and where-combine parameters.
 
+  * added #:keep-going to redex-check
+
+  * bug fixes
 
 v5.3.4