commit to restore the added stuff (that does not go into the release branch)

svn: r13229
2009-01-19 18:25:15 +00:00 · 2009-01-19 18:25:15 +00:00 · 3726cb9228
commit 3726cb9228
parent 135d4661cb
1 changed files with 7 additions and 0 deletions
--- a/doc/release-notes/redex/HISTORY.txt
+++ b/doc/release-notes/redex/HISTORY.txt
@ -1,3 +1,10 @@
+v4.1.5
+
+  - 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.4