Matthew Flatt 512c557e72 gtk: use system preference for font ... original commit: 42dc870c10086a9816c08b19527044dc993f6845		2010-11-05 15:54:43 -06:00
collects	gtk: use system preference for font	2010-11-05 15:54:43 -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