From b6d7b0ebcc0169d0e926204f5d2e71e3be9724cd Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 12 Aug 2012 15:49:18 -0500 Subject: [PATCH] add note to history --- doc/release-notes/drracket/HISTORY.txt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt index e39eedf2bb..40b1a4a571 100644 --- a/doc/release-notes/drracket/HISTORY.txt +++ b/doc/release-notes/drracket/HISTORY.txt @@ -1,3 +1,10 @@ +------------------------------ + Version 5.3.1 +------------------------------ + + . Check Syntax now shows the blue boxes from the documentation in + the definitions window + ------------------------------ Version 5.3 ------------------------------