From 9ce1b45b5e94fd72ff82b382d8981cf621675178 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 16:02:28 +0000
Subject: Moved proof-add-completions to adapting manual

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 280356a6..ef225f69 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2178,13 +2178,6 @@ If this table is empty or needs adjusting, please make changes using
 @samp{@code{customize-variable}} and send suggestions to proofgen@@dcs.ed.ac.uk.
 @end defvar
 
-@c TEXI DOCSTRING MAGIC: proof-add-completions
-@deffn Command proof-add-completions 
-Add completions from <PA>-completion-table to completion database.@*
-Uses @samp{@code{add-completion}} with a negative number of uses and ancient
-last use time, to discourage saving these into the users database.
-@end deffn
-
 The completion facility uses a library @file{completion.el} which
 usually ships with XEmacs and FSF Emacs, and supplies the
 @code{complete} function.
-- 
cgit v1.2.3