diff --git a/notes/drscheme/HISTORY b/notes/drscheme/HISTORY index 81fbda0502..ec45302413 100644 --- a/notes/drscheme/HISTORY +++ b/notes/drscheme/HISTORY @@ -2,6 +2,9 @@ Version 302 ------------------------------ + . Added `this', implicitly bound in ->r and ->pp contracts + when used inside `object-contract' + . Help Desk's font size is now independently configurable (from Drscheme's font size).