From d165f9d8555df16bcd7966b423152cc72762cfb7 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 26 Sep 2010 16:43:54 -0500 Subject: [PATCH] updated history --- doc/release-notes/redex/HISTORY.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index d99354cf7c..5c9fbac1b6 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,3 +1,5 @@ + * added pretty-print-parameters + * added grammar-style and paren-style that give finer-grained control over the typesetting styles