From 1b24ca0063fa52b55b6779eb546537332faafb82 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Mon, 25 Oct 2010 14:26:42 -0500 Subject: [PATCH] Updates Redex history for v5.0.2 release (merge to release branch) (cherry picked from commit d7b0271691d97080f74c3c84ba475dada76ec1b7) --- doc/release-notes/redex/HISTORY.txt | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 5c9fbac1b6..4b4d6a0577 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,7 +1,17 @@ - * added pretty-print-parameters +v5.0.2 - * added grammar-style and paren-style that give finer-grained control - over the typesetting styles + * added `pretty-print-parameters' to control term pretty-printing + + * added `grammar-style' and `paren-style' typesetting parameters + + * added support for computed reduction rule names + + * added delimited control model to examples + + * added optional #:attempt-size and #:prepare keyword arguments to random + testing forms + + * fixed minor bugs v5.0.1