.

2010-07-10 04:51:03 -05:00 · 2010-07-10 04:51:03 -05:00 · 84f9eb3f4c
commit 84f9eb3f4c
parent 52d04449a1
1 changed files with 2 additions and 0 deletions
--- a/doc/release-notes/drracket/HISTORY.txt
+++ b/doc/release-notes/drracket/HISTORY.txt
@ -2,6 +2,8 @@
        Version 5.1
 ------------------------------

+   . Check Syntax now reports obligation information 
+     (via a new item in the "View" menu)
   . added file-horizontal and flip-vertical to 2htdp/image

 ------------------------------