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

update HISTORY for 6.1

Browse Source 
Please include in the 6.1 release
(cherry picked from commit 5168764293)
This commit is contained in:
Robby Findler 2014-07-18 06:22:08 -05:00 committed by Ryan Culpepper
parent e8aa7d3800
commit 757dace1e9
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,5 +1,16 @@
v6.1 v6.1
* changed the semantics for _!_ variables when they are under
ellipses, making them less insane. There is now a much simpler
description of how these two interact (in the docs)
* improved the performance of term generation from judgment-forms
(when using the #:satisfying keyword argument)
* lots of improvements to the enumeration test case generator
* metafunctions can now typeset their contracts
* added #:equiv option to test-equal * added #:equiv option to test-equal
* added default-equiv * added default-equiv