Updates Redex history for v5.0.2 release (merge to release branch)
This commit is contained in:
parent
24297a793f
commit
d7b0271691
|
@ -1,7 +1,17 @@
|
|||
* added pretty-print-parameters
|
||||
v5.0.2
|
||||
|
||||
* added grammar-style and paren-style that give finer-grained control
|
||||
over the typesetting styles
|
||||
* added `pretty-print-parameters' to control term pretty-printing
|
||||
|
||||
* 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
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user