From b4aa7f6d255aed4bdf80091102f89e2ee5e28cf0 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 7 Sep 2006 18:56:21 +0000
Subject: update CHANGES.

---
 CHANGES | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 4ef268d2..f24fa00f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -35,6 +35,15 @@ Including patches from Stefan Monnier.
 
 *** No more support for coq 7.x
 
+*** coq 8.0 compatibility mode
+
+    If coq does not detect the good coq version at startup put one of
+    the following in your .emacs:
+
+    (setq coq-version-is-V8-1 t)   or    (setq coq-version-is-V8-0 t)
+
+    Default is now 8.1 (if no coqtop is found the path).
+
 *** Much better PG/Coq synchronizing system for coq >= 8.1
 
     Synchronization is not based on script parsing anymore, which
@@ -42,7 +51,7 @@ Including patches from Stefan Monnier.
 
     In particular you don't need to set
     coq-user-state-changing-commands and others anymore (was needed
-    for your own tactics/commands). See next point.
+    for your own tactics/commands). See below coq-insert-tactic.
 
     Coq v8.0 is still supported, if for some reason PG does not see
     that your coq version is a 8.0 (read *Message* after loading a .v
-- 
cgit v1.2.3