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

svn: r14013

Browse Source
This commit is contained in:
Robby Findler 2009-03-08 20:45:30 +00:00
parent 338a171a6a
commit 1e807c3a33
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,6 +2,8 @@ v4.1.5
* renamed test--> to test-->>
* added #:cycles-ok flag to (what is now called) test-->>.
* define-metafunction and reduction-relation now work better with
Check Syntax, as