1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index fe802433..270bb1d4 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,6 +13,11 @@
 
 ** 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
+navigation facilities for things like C-M-t, C-M-f and C-M-b.
+
 *** Fixes for Coq 8.3