From 135d4661cb96b1dc93e90e793afe177771138a16 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 19 Jan 2009 18:24:52 +0000
Subject: [PATCH] commit to go into the release branch

svn: r13228
---
 doc/release-notes/redex/HISTORY.txt | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt
index f8bcb55b03..d9f871e872 100644
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@@ -1,13 +1,6 @@
+
 v4.1.4
 
-  - initial-char-width now accepts functions to give finer grained
-    control of the initial widths of the terms.
-
- - traces & traces/ps: added the ability to specify a mixin
-   to be mixed into the graph pasteboard
-
-v4.1.3
-
   * added redex-check, a tool for automatically generating test cases
     for Redex specifications.