diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2008-06-06 08:18:18 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2008-06-06 08:18:18 +0000 |
commit | 5e0a938a7b3558dd5de94f6cb52cbebf8379014e (patch) | |
tree | b65ad5449a55de16969ea0404bc275f7570474d4 /lib | |
parent | 9c054f0694833812aacc5388363a068dceb1753d (diff) |
Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT
NOT FOR EMACS22. As byte position is buggy in emacs22.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions