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 /CHANGES | |
| 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 'CHANGES')
| -rw-r--r-- | CHANGES | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -15,7 +15,8 @@ ** Coq changes - Add Undo Depth setting, default to 200 (Coq 8.1 has only 100) - +- Unicode error messages are correctly highlighted with emacs23 + (emacs-snapshot), previous emacs's can't be fixed. |