added notes for recent redex changes

This commit is contained in:
Robby Findler 2012-01-02 03:36:19 -06:00
parent 5dcbedc768
commit e8beac29cf

View File

@ -1,8 +1,17 @@
v5.2.1
* rewrote the internals of the pattern matcher to be more consistent
(centralized more error checking, moving more of it to compile
time, and various other internal cleanups).
* improved the way caching works so it uses about 1/5th memory and
speeds up the R6RS test suite by a factor of 2.
* added support for side-conditions and where clauses to
define-relation
* added the List-machine benchmark (by Appel, Dockins & Leroy)
v5.2
* added define-judgment-form form