From e098f0755956c40ffd43ce4aecb05501b5f987fb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 8 Sep 2000 13:35:41 +0000
Subject: Customize always available if PG is

---
 doc/ProofGeneral.texi | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 3527fc1e..01574dec 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3612,10 +3612,9 @@ General is loaded.  To load it manually, type
   M-x load-library RET proof RET
 @end lisp
 
-Notice that the customization mechanism is only available in Emacs 20.x
-and XEmacs.  If you cannot use customize, simply add a line like this:
+If you do not want to use customize, simply add a line like this:
 @lisp
-  (setq isabelle-prog-name "/usr/bin/isabelle FOL")
+  (setq coq-prog-name "/usr/bin/coqtop -emacs")
 @end lisp
 to your @file{.emacs} file.
 
-- 
cgit v1.2.3