From 0826a2d7341a47768d17947ec0e81037af13c6f6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 23 Aug 1999 16:50:31 +0000
Subject: proof-version -> proof-general-version

---
 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 c269aa0a..1a875769 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -3061,8 +3061,8 @@ The default value is @code{(isa lego coq plastic)}.
 
 The file @file{proof-site.el} also defines a version variable.
 
-@c TEXI DOCSTRING MAGIC: proof-version
-@defvar proof-version 
+@c TEXI DOCSTRING MAGIC: proof-general-version
+@defvar proof-general-version 
 Version string identifying Proof General release.
 @end defvar
 
-- 
cgit v1.2.3