From 1e807c3a33ca9eddc15779b203d15f6b9a0adf18 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 8 Mar 2009 20:45:30 +0000 Subject: [PATCH] svn: r14013 --- 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 c912b0c085..41ca61834e 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -2,6 +2,8 @@ v4.1.5 * renamed test--> to test-->> + * added #:cycles-ok flag to (what is now called) test-->>. + * define-metafunction and reduction-relation now work better with Check Syntax, as