From 6d73195f7b3e976f2df62d13f029f55558cde5fd Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 6 Sep 2006 10:38:37 +0000
Subject: updating changes in coq/CHANGES.

---
 coq/CHANGES | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/coq/CHANGES b/coq/CHANGES
index bba27166..83a21b97 100644
--- a/coq/CHANGES
+++ b/coq/CHANGES
@@ -34,7 +34,8 @@
 
 *** Much better indentation
 
-    Faster.
+    More robust. nested comments are OK even in xemacs. Still a bit
+    slow on big files. 
 
     indent-region won't touch comments, but indenting comments with
     tab (indent-according-to-mode) will.
@@ -56,7 +57,13 @@
 
 *** automatic insertion of "match...with" for a given type
 
-    This coqide great feature has been added
+    This coqide great feature has been added.
+
+*** error highlighting
+
+    When scripting, error with location information are parsed and the
+    corresponding part of the scripting buffer is highlighted. Also
+    inpsired from coqide.
 
 *** new "queries" menu
 
-- 
cgit v1.2.3