From 84f9eb3f4c84b4fc3ead7089dd01183779948498 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 10 Jul 2010 04:51:03 -0500
Subject: [PATCH] .

---
 doc/release-notes/drracket/HISTORY.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt
index 9c2a877083..7c2f0dc03f 100644
--- 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
 
 ------------------------------