Matthew Flatt 8a6417f3e6 more attempts to avoid flicker ... original commit: f13b569b751559a2be7ae39c690dff34ebd29fa7		2010-11-05 15:54:21 -06:00
collects	more attempts to avoid flicker	2010-11-05 15:54:21 -06:00
doc/release-notes	generalize editor selection mechanism to support Windows style	2010-11-05 15:54:19 -06:00
man/man1	A lot of "MrEd" -> "GRacket"s.	2010-05-16 23:46:05 -04:00