From b19f5a34eea0c095c57b88ffe8ed33cb5c76836d Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 18 Oct 2014 11:10:21 -0500
Subject: [PATCH] update Redex HISTORY.txt

please include in the 6.1.1 release
---
 pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
index 79992443f8..8436e6f491 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
+++ b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
@@ -1,3 +1,16 @@
+v6.1.1
+
+  * Performance improvements for example generation, both for 
+    enumerators (#:i-th in generate-term) and judgment forms
+    (#:satisfying in generate-term)
+
+  * Add short discussion of each of the benchmark programs
+
+  * Use unicode whitebracket characters for metafunction typesetting
+
+  * add support for "big left curly bracket"-style conditionals
+    when typesetting metafunctions
+
 v6.1
 
   * changed the semantics for _!_ variables when they are under