From 21ec42cfe7de5e43ff9c245558714fb3e6ccae8f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 28 Nov 2009 11:11:16 +0000
Subject: Remove doc mention of obsolete function 
 `pg-assoc-analyse-structure'.

---
 generic/proof-config.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 289f0788..9602f56f 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1748,10 +1748,7 @@ Subsequent special characters with values *below*
 indicators.  Annotations should be finished with `pg-subterm-sep-char';
 the end of the concrete syntax is indicated by `pg-subterm-end-char'.
 
-If `pg-subterm-start-char' is nil, subterm markup is disabled.
-
-See doc of `pg-assoc-analyse-structure' for more details of
-subterm and proof-by-pointing markup mechanisms.."
+If `pg-subterm-start-char' is nil, subterm markup is disabled."
   :type '(choice character (const nil))
   :group 'proof-goals)
 
-- 
cgit v1.2.3