From 4f1faf5617d048eced52c9b6eb386f255db70ca8 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Fri, 22 Apr 2011 04:42:24 -0500 Subject: [PATCH] Updates Redex history for v5.1.1 release (cherry picked from commit 0414b5e6de771ca05b9a3acba267052ba3168205) --- doc/release-notes/redex/HISTORY.txt | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 5e477c17d9..1ff0e43d84 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,3 +1,31 @@ +v5.1.1 + + * changed pattern language to disallow unquote + + * fixed matching of ..._x and ..._!_x within ellipses + + * fixed bugs in stepper's diff highlighting + + * improved rendering of arrows in typesetting + + * added support for unioned metafunction codomains + + * fixed typesetting of the pattern (hole p_0 p_1 ...) + + * added arrow->pict, which shows how reduction relation are rendered + in typesetting + + * added a parameter that provides the default for redex-check's + #:attempts argument + + * changed the random term generator to produce shorter sequences + + * added a Redex model of the system in Jay McCarthy's ICFP '09 paper + "Automatically RESTful Web Applications Or, Marking Modular + Serializable Continuations" to the examples directory + + * resolved PRs 10665, 11174, 11579, 11041, 10837, and 11853 + v5.1 * adds an optional #:pred keyword argument to `test-->>' form