davidhalter/jedi — pull request #203 by davidhalter (2013-04-20 09:48:55+00:00)
Title: Tokenizer

Customized the standard library `tokenize.py` and used it as `tokenizer.py`.

This is being needed for the new "fast parser". It also removes quite a few hacks from Jedi.