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

update Redex HISTORY.txt

Browse Source 
please include in the 6.1.1 release

(cherry picked from commit b19f5a34ee)
This commit is contained in:
Robby Findler 2014-10-18 11:10:21 -05:00 committed by Ryan Culpepper
parent 0b588cd779
commit a75b4de4f3
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
View File

@ -1,3 +1,16 @@
v6.1.1
* Performance improvements for example generation, both for
enumerators (#:i-th in generate-term) and judgment forms
(#:satisfying in generate-term)
* Add short discussion of each of the benchmark programs
* Use unicode whitebracket characters for metafunction typesetting
* add support for "big left curly bracket"-style conditionals
when typesetting metafunctions
v6.1
* changed the semantics for _!_ variables when they are under