Matthew Flatt 4c3749468d gtk clipboard fixes ... original commit: ed2c685a73f8b902126b5aa2a9f6825b1f35c73f		2010-11-05 15:54:25 -06:00
collects	gtk clipboard fixes	2010-11-05 15:54:25 -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