Matthew Flatt ccf8eccf1a turn on GUI doc generation in scribblings setup ... svn: r7118 original commit: 190b8f6e21d10486c9bac51a5e09937ab92dd7a3		2007-08-18 22:37:36 +00:00
collects	turn on GUI doc generation in scribblings setup	2007-08-18 22:37:36 +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