diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 14:28:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-27 14:28:01 +0000 |
| commit | 627f01c44ef2aa294c5e27697e863c6795f6b125 (patch) | |
| tree | 805a22a61a774124a85ef6ef9562f629f90aa586 | |
| parent | d51c8decfa04f46b916c01ea5c62104c041bace1 (diff) | |
Fix bug email address to bugs@proofgeneral.org
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 30807443..7816bd3f 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -535,7 +535,7 @@ Returns non-nil if response buffer was cleared." ((reporter-prompt-for-summary-p "(Very) brief summary of problem or suggestion: ")) (reporter-submit-bug-report - "proofgen@dcs.ed.ac.uk" + "bugs@proofgeneral.org" "Proof General" (list 'proof-general-version 'proof-assistant) nil nil |