diff options
| -rw-r--r-- | generic/proof-config.el | 4 | ||||
| -rw-r--r-- | generic/proof-utils.el | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 2b827366..7d2c4594 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -867,7 +867,7 @@ or `proof-script-parse-function'." "Whether to use the old parsing mechanism. By default, this is set to nil in Proof General 3.5. Please report any proof script parsing oddities to -support@proofgeneral.org. +da+pg@@inf.ed.ac.uk. (NB: Specific example where new parser fails: Isar relies on certain text being sent to prover which according to syntax configuration @@ -2476,7 +2476,7 @@ of `easy-menu-define' for more details." Completion is activated with \\[complete]. If this table is empty or needs adjusting, please make changes using -`customize-variable' and send suggestions to support@@proofgeneral.org" +`customize-variable' and send suggestions to da+pg-support@@inf.ed.ac.uk" :type '(list string) :group 'prover-config) diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 61e3d040..82c8c927 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -681,7 +681,7 @@ or if the window is the only window of its frame." ((reporter-prompt-for-summary-p "(Very) brief summary of problem or suggestion: ")) (reporter-submit-bug-report - "bugs@proofgeneral.org" + "da+pg-bugs@inf.ed.ac.uk" "Proof General" (list 'proof-general-version 'proof-assistant) nil nil |