>>>>> "rt" == Raymond Toy <[EMAIL PROTECTED]> writes:
rt> I think this is a good idea. A4 or US Letter size docs? :-) I'm willing to make an effort for people stuck with archaic and non-standardised paper formats, by uploading both proper and letter sized formats. I only ask in return to be allowed to fix the spelling of LEAST-NEGATIVE-NORMALISED-DOUBLE-FLOAT and friends, and fix the crufty date output routines to something more sensible. Compiled Tuesday, 7/1/03 03:12:16 pm [-2] on melbourne -- Eric Marsden <URL:http://www.laas.fr/~emarsden/>
