From 55a22c0891c45e4f04b7dd6e6a63dad70d689967 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 17 Jan 2012 21:40:14 -0600 Subject: [PATCH] DrRacket & Redex history updates for 5.2.1 Please merge to the release branch (cherry picked from commit 50dba410437b874122cab91076a7fb16b932ac47) --- doc/release-notes/drracket/HISTORY.txt | 6 +++--- doc/release-notes/redex/HISTORY.txt | 3 ++- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/doc/release-notes/drracket/HISTORY.txt b/doc/release-notes/drracket/HISTORY.txt index 4cc27edf27..958d573552 100644 --- a/doc/release-notes/drracket/HISTORY.txt +++ b/doc/release-notes/drracket/HISTORY.txt @@ -2,6 +2,9 @@ Version 5.2.1 ------------------------------ + . The keybindings window is no longer a modal dialog (and its contents + will change to reflect where the keyboard focus currently is) + . The initial current-directory for unsaved programs in DrRacket is now the user's home directory, instead of whatever the current-directory was for the underlying OS process. @@ -11,9 +14,6 @@ . DrRacket no longer shows a stacktrace for syntax errors in the REPL. - . The keybindings window is no longer a modal dialog (and its contents - will change to reflect where the keyboard focus currently is) - . The preference that makes a single "(" keystroke insert "()" (and similarly for [ { " and |) now only takes effect in Racket mode, instead of taking effect in all of the modes, as it used to. This diff --git a/doc/release-notes/redex/HISTORY.txt b/doc/release-notes/redex/HISTORY.txt index d82df8123f..7475624241 100644 --- a/doc/release-notes/redex/HISTORY.txt +++ b/doc/release-notes/redex/HISTORY.txt @@ -12,7 +12,8 @@ v5.2.1 lambdaJS benchmark by about a factor of 25. * added support for side-conditions and where clauses to - define-relation + define-relation, also added support for side-conditions to + define-judgment-form * added the List-machine benchmark (by Appel, Dockins & Leroy)