[Python-Dev] Allowing non-ASCII identifiers

[Aahz]

On Wed, Jan 14, 2004, "Martin v. Löwis" wrote:
>
>    If you are too lazy too look up the Java definition,
>    here is a rough overview:
>    An identifier is "JavaLetter JavaLetterOrDigit*"

Is that an actual space between the characters?

> Does this need a PEP?

Yes.
-- 
Aahz (aahz at pythoncraft.com)           <*>         http://www.pythoncraft.com/

A: No.
Q: Is top-posting okay?