>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> Can you please explain why the token names should be translated? It's > possible that this should be an option, rather than being an > unconditional translation. Token can be given a human readable string. INT can be integer, which is to be translated in "entier" in French.
