Updates Redex history for 5.0 release

This commit is contained in:
Casey Klein 2010-05-28 21:39:59 -05:00
parent d323a794e8
commit 56b94b1bdf

View File

@ -1,3 +1,12 @@
v5.0
* added an optional term-equivalence predicate to the test--> and
test-->> forms
* added R6RS and Racket VM models to examples sub-collection
* fixed minor bugs
v4.2.5
* reversed the order in which `where' and `side-condition' clauses