From 9e1f532e4270fe66605e1570973771303ff62fb9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 27 Jan 2006 18:23:42 +0000 Subject: [PATCH] svn: r2002 --- notes/drscheme/HISTORY | 3 +++ 1 file changed, 3 insertions(+) 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).