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

redex history release notes

Browse Source 
merge to release please
(cherry picked from commit 8827f4b6b5)
This commit is contained in:
Robby Findler 2012-10-17 20:46:16 -05:00 committed by Ryan Culpepper
parent a13aedacc6
commit 6167b016e4
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6,6 +6,10 @@ v5.3.1
* added judgment-form-cases
* adjust define-judgment-form typesetting so that it uses
the line breaks in a premise to determine how to line
break the typeset version
v5.3
* added the amb tutorial.