diff options
| -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 |