From 325784e32122802b42aff7254423db0ca9509fb4 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 26 Jul 2002 19:42:18 +0000
Subject: Changed a bit more the doc and the CHANGES file, to be consitent.
 Concerns the coq-user... variables.

---
 doc/ProofGeneral.texi | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 65e41ecb..4f3a5f7a 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3209,20 +3209,20 @@ We give an example of existing commands that fit each category.
 
 @item @code{coq-user-state-preserving-commands}: example: "@code{Print}"
 
-@item @code{coq-user-backable-commands}: example: "@code{Require}"
+@item @code{coq-user-state-changing-commands}: example: "@code{Require}"
 
-@item @code{coq-user-undoable-tactics}: example: "@code{Intro}"
+@item @code{coq-user-state-changing-tactics}: example: "@code{Intro}"
  
-@item @code{coq-user-non-undoable-tactics}: example: "@code{Idtac}"
+@item @code{coq-user-state-preserving-tactics}: example: "@code{Idtac}"
 @end itemize
 
-This variables are string lists. See their documentations in emacs
-(@code{C-h v coq-user...})  for details on how to set them in your .emacs
-file. The strings can contain some escaped regexp feature.
+This variables regexp string lists. See their documentations in emacs
+(@code{C-h v coq-user...})  for details on how to set them in your
+.emacs file.
 
 Example:
 @lisp
-(setq coq-user-backable-commands 
+(setq coq-user-state-changing-commands 
       '("MyHint" "MyRequire" "Show\\s-+Mydata"))
 @end lisp
 
-- 
cgit v1.2.3