diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 4 |
1 files changed, 2 insertions, 2 deletions
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 |