From 770b2a7bf3688ab2c1c475356054b2c1433b5496 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Nov 1999 10:10:35 +0000
Subject: Fix to docstring magic (allow spaces after symbol).

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index a9499495..074871be 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2886,8 +2886,11 @@ of this.  See whether function menu does something sensible by
 default.
 @end defvar
 
-@c TEXI DOCSTRING MAGIC: proof-goal-command-p 
+@c TEXI DOCSTRING MAGIC: proof-goal-command-p
 
+@defvar proof-goal-command-p 
+Is this really a goal command?
+@end defvar
 @c TEXI DOCSTRING MAGIC: proof-completed-proof-behaviour
 @defvar proof-completed-proof-behaviour 
 Indicates how Proof General treats commands beyond the end of a proof.@*
@@ -3919,8 +3922,8 @@ read.
 @c TEXI DOCSTRING MAGIC: proof-shell-proof-completed
 @defvar proof-shell-proof-completed 
 Flag indicating that a completed proof has just been observed.@*
-If non-nil, the value is actually the number of commands that have
-been processed since the proof was completed.
+If non-nil, the value counts the commands from the last command
+of the proof (starting from 1).
 @end defvar
 
 The @file{proof.el} also loads @file{proof-config.el} which declares the
-- 
cgit v1.2.3