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

Updates Redex history for v5.2

Browse Source 
Merge to release branch
(cherry picked from commit 210a6f329e)
This commit is contained in:
Casey Klein 2011-10-19 13:32:59 -05:00 committed by Eli Barzilay
parent a82a55074b
commit a38f02160e
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,3 +1,15 @@
v5.2
* added define-judgment-form form
* added define-term form
* added with-compound-rewriters form
* added Ariola-Felleisen by-need evaluation contexts to examples
* improved error message for definition forms in expression contexts
v5.1.2 v5.1.2
* added support for typsetting define-relation relations * added support for typsetting define-relation relations