Robby Findler d73e8448d5 misc improvements to the white on black view in drscheme (also added explicit buttons that switch to a default set of colors and also flips a preferences flag for more coarse grained control) ... svn: r5892 original commit: d688a1f9e3d6cf001852404c7fafc55ffaace710		2007-04-08 23:30:58 +00:00
collects	misc improvements to the white on black view in drscheme (also added explicit buttons that switch to a default set of colors and also flips a preferences flag for more coarse grained control)	2007-04-08 23:30:58 +00:00
doc/release-notes/mred	369.6: change WXME format to start with #reader, and fix 3m bug related to integers overlapping with pointers in a thread record	2007-01-22 03:47:32 +00:00
man/man1	revise -singleInstance description to include hostname dependency	2007-02-28 04:13:10 +00:00