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

Updates Redex history for v5.1.1 release

Browse Source 
(cherry picked from commit 0414b5e6de)
This commit is contained in:
Casey Klein 2011-04-22 04:42:24 -05:00 committed by Eli Barzilay
parent 498b5d5bf5
commit 4f1faf5617
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,3 +1,31 @@
v5.1.1
* changed pattern language to disallow unquote
* fixed matching of ..._x and ..._!_x within ellipses
* fixed bugs in stepper's diff highlighting
* improved rendering of arrows in typesetting
* added support for unioned metafunction codomains
* fixed typesetting of the pattern (hole p_0 p_1 ...)
* added arrow->pict, which shows how reduction relation are rendered
in typesetting
* added a parameter that provides the default for redex-check's
#:attempts argument
* changed the random term generator to produce shorter sequences
* added a Redex model of the system in Jay McCarthy's ICFP '09 paper
"Automatically RESTful Web Applications Or, Marking Modular
Serializable Continuations" to the examples directory
* resolved PRs 10665, 11174, 11579, 11041, 10837, and 11853
v5.1
* adds an optional #:pred keyword argument to `test-->>' form