codemirror/CodeMirror — pull request #2882 by Carreau (2014-10-19 17:10:40+00:00)
Title: [Julia] Add support for unicode identifiers.

Just bring upstream the changes in [IJulia itself](https://github.com/JuliaLang/IJulia.jl/blob/master/deps/julia.js),
and add a small example.

Thanks !