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

Updates the Redex history for v5.1

Browse Source 
Please merge to release branch.
This commit is contained in:
Casey Klein 2011-02-02 10:36:10 -06:00
parent 0eed4e9462
commit 309bb47c7e
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,3 +1,17 @@
v5.1
* adds an optional #:pred keyword argument to `test-->>' form
* added the `redex-pseudo-random-generator' parameter
* added option `::=' syntax to non-terminal definitions
* added contract support to `define-relation'
* added the `test-->∃' form
* fixed minor bugs
v5.0.2 v5.0.2
* added `pretty-print-parameters' to control term pretty-printing * added `pretty-print-parameters' to control term pretty-printing