[m-rev.] for review: clean up string.m

[Michael Day]

Hi Zoltan,

> While Mercury picked printf format strings because
> the original platform used printf, we now target several
> platforms (Java, Erlang) that use different native
> printing mechanisms. We already have code to
> implement Mercury's format mechanisms over these;
> changing the Mercury format specification would require
> these to be reimplemented.

That is a very good point! I must not forget that Mercury is not just an 
unusually clever preprocessor for C :)

Best regards,

Michael

-- 
Prince: Print with CSS!
http://www.princexml.com