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

Updates Redex history for v5.0.2 release (merge to release branch)

Browse Source 
(cherry picked from commit d7b0271691)
This commit is contained in:
Casey Klein 2010-10-25 14:26:42 -05:00 committed by Ryan Culpepper
parent da7e1bae0c
commit 1b24ca0063
1 changed files with 13 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,7 +1,17 @@
* added pretty-print-parameters v5.0.2
* added grammar-style and paren-style that give finer-grained control * added `pretty-print-parameters' to control term pretty-printing
over the typesetting styles
* added `grammar-style' and `paren-style' typesetting parameters
* added support for computed reduction rule names
* added delimited control model to examples
* added optional #:attempt-size and #:prepare keyword arguments to random
testing forms
* fixed minor bugs
v5.0.1 v5.0.1