From 309bb47c7e6dc0f4cdd0bcd6c3dfd426abb3f377 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 2 Feb 2011 10:36:10 -0600 Subject: [PATCH] Updates the Redex history for v5.1 Please merge to release branch. --- doc/release-notes/redex/HISTORY.txt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index 4b4d6a0577..5e477c17d9 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,3 +1,17 @@ +v5.1 + + * adds an optional #:pred keyword argument to `test-->>' form + + * added the `redex-pseudo-random-generator' parameter + + * added option `::=' syntax to non-terminal definitions + + * added contract support to `define-relation' + + * added the `test-->∃' form + + * fixed minor bugs + v5.0.2 * added `pretty-print-parameters' to control term pretty-printing