From 23792ca17ac646eadf08c7be62ccda7767002449 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 15:37:13 +0000
Subject: More hacks to variable names for customize (sorry)

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 6c0dcc6e..66ca6936 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1256,7 +1256,7 @@ called myassistant.
 directory, to put the specific customization and associated files in.
 @item Add a file myassistant.el to the new directory.  
 @item Edit proof-site.el to add a new entry to the
-  @var{proof-internal-assistants-table} variable.  The new entry should
+  @var{proof-assistants-table} variable.  The new entry should
 look like this:
 
     (myassistant "My New Assistant" "\\.myasst$")
@@ -1266,7 +1266,7 @@ for the new mode as well as the directory and file where it loads
 from.  The second is a string, naming the proof assistant.
 The third item is a regular expression to match names of 
 proof script files for this assistant.  See the documentation
-of @var{proof-internal-assistants-table} for more details.
+of @var{proof-assistants-table} for more details.
 @item Define the new modes in myassistant.el, by looking at 
  the files for the currently supported assistants for example.
  Basically you need to define some modes using @code{define-derived-mode}
-- 
cgit v1.2.3