Updates Redex history for v5.1.2
(cherry picked from commit 7d103bdfd8
)
This commit is contained in:
parent
533b8ed384
commit
35bbe90dcb
|
@ -1,11 +1,35 @@
|
||||||
|
v5.1.2
|
||||||
|
|
||||||
* added support for typsetting define-relation relations
|
* added support for typsetting define-relation relations
|
||||||
|
|
||||||
* made apply-reduction-relation* call remove-duplicates
|
* made apply-reduction-relation* call remove-duplicates
|
||||||
on the result of apply-reduction-relation
|
on the result of apply-reduction-relation
|
||||||
|
|
||||||
|
* extended render-reduction-relation-rules to accept rule indices
|
||||||
|
in addition to rule names
|
||||||
|
|
||||||
|
* added the to-lw/stx procedure
|
||||||
|
|
||||||
|
* fixed domain checking for unioned reduction relations
|
||||||
|
|
||||||
* added the #:cache-all? argument to apply-reduction-relation*
|
* added the #:cache-all? argument to apply-reduction-relation*
|
||||||
and the current-cache-all? parameter
|
and the current-cache-all? parameter
|
||||||
|
|
||||||
|
* fixed stepper's handling of symbols that required || quoting
|
||||||
|
|
||||||
|
* removed all undocumented exports
|
||||||
|
|
||||||
|
* added the redex-let form
|
||||||
|
|
||||||
|
* added the #:source argument to generate-term
|
||||||
|
|
||||||
|
* changed redex-match to hide bindings for named ellipses such
|
||||||
|
as ..._x
|
||||||
|
|
||||||
|
* improve test-->E failure message
|
||||||
|
|
||||||
|
* fixed misc. bugs in examples and typos in documentation
|
||||||
|
|
||||||
v5.1.1
|
v5.1.1
|
||||||
|
|
||||||
* changed pattern language to disallow unquote
|
* changed pattern language to disallow unquote
|
||||||
|
|
Loading…
Reference in New Issue
Block a user