>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc, I have a few trivial text changes in my queue. For Michael> instance, I don't like buttons with a period. And "Cols" Michael> sounds a bit too colloquial, doesn't it? These look OK, except the one with \input and \include: (1) I am not sure it is clearer to everybody and (2) I am not sure our po machnery like backslashes in strings. So please remove this part for now. JMarc
