diff options
| author | David Aspinall | 1999-08-23 16:50:31 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-23 16:50:31 +0000 |
| commit | 0826a2d7341a47768d17947ec0e81037af13c6f6 (patch) | |
| tree | e05fe0c5db2a6b5b9bdb8619d4e01b6acaccfe93 /doc | |
| parent | 65b69323213712355d59803c5644e9724f5cbb5c (diff) | |
proof-version -> proof-general-version
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 |