diff options
| -rw-r--r-- | doc/ProofGeneral.texi | 4 | ||||
| -rw-r--r-- | generic/proof-site.el | 2 | ||||
| -rw-r--r-- | generic/proof.el | 2 |
3 files changed, 4 insertions, 4 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 diff --git a/generic/proof-site.el b/generic/proof-site.el index 7569addb..04a79644 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -263,7 +263,7 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; WARNING: do not edit below here ;; (the next constant is set automatically) -(defconst proof-version "Proof General, Version 2.1pre990820 released by da. Email proofgen@dcs.ed.ac.uk." +(defconst proof-general-version "Proof General, Version 2.1pre990820 released by da. Email proofgen@dcs.ed.ac.uk." "Version string identifying Proof General release.") (provide 'proof-site) diff --git a/generic/proof.el b/generic/proof.el index de3a261a..7f39dd39 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -232,7 +232,7 @@ Restrict to BUFLIST if it's set." (reporter-submit-bug-report "proofgen@dcs.ed.ac.uk" "Proof General" - (list 'proof-version 'proof-assistant) + (list 'proof-general-version 'proof-assistant) nil nil "[When reporting a bug, please include a small test case for us to repeat it.]"))) |