From cddb8e97c3aa27c2bdedcf1b510e6cb715570fee Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Jun 2011 10:29:40 +0000
Subject: coq-use-smie not enabled by default

---
 CHANGES | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index d05cd075..a882f69a 100644
--- a/CHANGES
+++ b/CHANGES
@@ -17,8 +17,8 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
 ** Coq changes
 
 *** A new indentation algorithm, using SMIE.
-    This is used by default if SMIE is available (Emacs >= 23.3), but is
-    controlled by the variable `coq-use-smie'.  It also provides improved
+    This works when SMIE is available (Emacs >= 23.3), but must be enabled
+    by the variable `coq-use-smie'.  It also provides improved
     navigation facilities for things like C-M-t, C-M-f and C-M-b.
     Addition by Stefan Monnier.
 
-- 
cgit v1.2.3