From 37b12f273f13c263c484dca40c6d4be28b1d2d19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 14:39:36 +0000
Subject: Remove proof-splash-extensions

---
 doc/PG-adapting.texi | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index ca998d1c..5144d426 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -2005,6 +2005,7 @@ The splash screen may be displayed for a couple of seconds longer than
 this, depending on how long it takes the machine to initialise 
 Proof General.
 @end defvar
+
 @c TEXI DOCSTRING MAGIC: proof-splash-contents
 @defvar proof-splash-contents 
 Evaluated to configure splash screen displayed when entering Proof General.@*
@@ -2012,11 +2013,6 @@ A list of the screen contents.  If an element is a string or an image
 specifier, it is displayed centred on the window on its own line.  
 If it is nil, a new line is inserted.
 @end defvar
-@c TEXI DOCSTRING MAGIC: proof-splash-extensions
-@defvar proof-splash-extensions 
-Prover specific extensions of splash screen.@*
-These are evaluated and appended to @samp{@code{proof-splash-contents}}.
-@end defvar
 
 
 
-- 
cgit v1.2.3