>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Thanks. I proofread that, and a few other things, and installed the > following minor cleanups. (Hope you don't mind my standardizing on > American as opposed to French spacing. :-) Actually I prefer two spaces after a period too, that's much clearer. I wouldn't have done it for the final period though :)
