suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

v4.2.5 changes (please merge to release branch)

Browse Source 
svn: r18669
This commit is contained in:
Casey Klein 2010-03-30 15:05:07 +00:00
parent 3c1d0b079c
commit 047794b11a
1 changed files with 21 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
doc/release-notes/redex/HISTORY.txt
View File

@ -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 v4.2.4