From 047794b11a894bf5637c666ec51b1e57cacf16fe Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 30 Mar 2010 15:05:07 +0000 Subject: [PATCH] v4.2.5 changes (please merge to release branch) svn: r18669 --- doc/release-notes/redex/HISTORY.txt | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index c24fc4365f..94f22016e6 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -1,4 +1,24 @@ - * Renamed the #:attempts keyword #:attempt-num in the `generate-term' form +v4.2.5 + + * reversed the order in which `where' and `side-condition' clauses + appear in typeset definitions + + * added support for `where' and `side-condition' clauses that do not + appear in the metafunction's typeset definition + + * added a #:print? flag to redex-check, to control whether it prints + or returns its result + + * renamed the #:attempts keyword to #:attempt-num in the `generate-term' form + + * changed typesetting to render `where' clauses as `fresh' clauses + when the right-hand side is a call to `variable-not-in' or + `variables-not-in' + + * changed typesetting of meta-variables to render anything following + a caret (^) as a superscript + + * minor bug fixes v4.2.4