Matthew Flatt 921d351bf6 toward better refresh for gtk & other bug fixes ... original commit: e72cf8517584c9904a5279c2cd7d587d372f67f6		2010-11-05 15:54:23 -06:00
collects	toward better refresh for gtk & other bug fixes	2010-11-05 15:54:23 -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