Matthew Flatt 1d77e383b0 gtk menu-bar fixes ... original commit: c57c84721fd1c43e8153c22f30fdd0c4539d965b		2010-11-05 15:54:40 -06:00
collects	gtk menu-bar fixes	2010-11-05 15:54:40 -06:00
doc/release-notes	`make-gl-bitmap' for cocoa and maybe gtk	2010-11-05 15:54:38 -06:00
man/man1	A lot of "MrEd" -> "GRacket"s.	2010-05-16 23:46:05 -04:00