This is a very usefull plugin, working nice with last version of wordpress (3.8).
Thanks a lot!
Update - Can work with an editor enhancer plug-in:
I have tested Code Revisions with Better File Editor and they work together. you have highlighted code and revisions.
That is a very good new!
With editors enhancer as "CodeMirror for CodeEditor" or "WPeditor", Code Revisions can not display revisions of edited files in the themes or plug-ins directories. In this case Code Revisions works in a hidden way, because those two editor use proprietary templates.
Best regards :)