diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-07 19:12:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-07 19:12:44 +0000 |
| commit | 7c88b8c4d9fc8736bd6ee7db551238ec1f4cd2b9 (patch) | |
| tree | dbbf08505f32abfb003e6b8a099043e45df6cfaf /generic | |
| parent | d024ffa2dd8c85a9fd0a997b57b026a639248b72 (diff) | |
Remove more proofgeneral.org mail aliases
Diffstat (limited to 'generic')
| -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 |