Congratulations, Thomas! Megathanks for carrying this proposal to a happy ending. I'm looking forward to using the new feature! Nits: Lib/symbol.py and Lib/token.py need to be regenerated and checked in; (see the comments at the top of the file). Also, tokenizer.py probably needs to have the new tokens += etc. added manually. --Guido van Rossum (home page: http://www.pythonlabs.com/~guido/)