Matthew Flatt 6737bc0e58 fix gtk widget size info for sizing and positioning ... original commit: b020c2f858caf30364e633dc19894cae3d21e47e		2010-11-05 15:54:12 -06:00
collects	fix gtk widget size info for sizing and positioning	2010-11-05 15:54:12 -06:00
doc/release-notes	get-transformation, etc. methods on dc<%>	2010-11-05 15:54:09 -06:00
man/man1	A lot of "MrEd" -> "GRacket"s.	2010-05-16 23:46:05 -04:00