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
This commit is contained in:
Robby Findler 2014-10-18 11:10:21 -05:00
parent b3110feabd
commit b19f5a34ee
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 v6.1
* changed the semantics for _!_ variables when they are under * changed the semantics for _!_ variables when they are under