svn: r2002
This commit is contained in:
parent
a5b5653107
commit
9e1f532e42
|
@ -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).
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user