[project @ 2004-05-06 12:27:47 by wolfgang]

Make the documentation and the error messages match the way the threaded
RTS is used nowadays
(the -threaded flag to ghc rather than ./configure --enable-threaded-rts)

MERGE TO STABLE