commit to go into the release branch

svn: r13228
2009-01-19 18:24:52 +00:00 · 2009-01-19 18:24:52 +00:00 · 135d4661cb
commit 135d4661cb
parent 9386174c50
1 changed files with 1 additions and 8 deletions
--- 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.