Robby Findler 3d5a3d7fd9 fixed a bug in the drawing of name messages that affected the language level setting that shows up in the bottom right of drscheme ... svn: r7764 original commit: c4781b2025dc6a0294c6c9a5fbe6779330d90a4d		2007-11-19 14:29:22 +00:00
collects	fixed a bug in the drawing of name messages that affected the language level setting that shows up in the bottom right of drscheme	2007-11-19 14:29:22 +00:00
doc/release-notes/mred	update mz/mr release notes for v371	2007-08-07 21:19:32 +00:00
man/man1	revise -singleInstance description to include hostname dependency	2007-02-28 04:13:10 +00:00