DrRacket & Redex history updates for 5.2.1
Please merge to the release branch
(cherry picked from commit 50dba41043
)
This commit is contained in:
parent
e409e91899
commit
55a22c0891
|
@ -2,6 +2,9 @@
|
||||||
Version 5.2.1
|
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
|
. The initial current-directory for unsaved programs in DrRacket is
|
||||||
now the user's home directory, instead of whatever the
|
now the user's home directory, instead of whatever the
|
||||||
current-directory was for the underlying OS process.
|
current-directory was for the underlying OS process.
|
||||||
|
@ -11,9 +14,6 @@
|
||||||
|
|
||||||
. DrRacket no longer shows a stacktrace for syntax errors in the REPL.
|
. 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
|
. The preference that makes a single "(" keystroke insert "()" (and
|
||||||
similarly for [ { " and |) now only takes effect in Racket mode,
|
similarly for [ { " and |) now only takes effect in Racket mode,
|
||||||
instead of taking effect in all of the modes, as it used to. This
|
instead of taking effect in all of the modes, as it used to. This
|
||||||
|
|
|
@ -12,7 +12,8 @@ v5.2.1
|
||||||
lambdaJS benchmark by about a factor of 25.
|
lambdaJS benchmark by about a factor of 25.
|
||||||
|
|
||||||
* added support for side-conditions and where clauses to
|
* 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)
|
* added the List-machine benchmark (by Appel, Dockins & Leroy)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user