diff options
Diffstat (limited to 'generic/proof-splash.el')
-rw-r--r-- | generic/proof-splash.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index 6c326968..ed64fdba 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -44,7 +44,7 @@ Proof General." "(C) LFCS, University of Edinburgh, 2003." nil nil -" Please send problems and suggestions to support@proofgeneral.org, +" Please send problems and suggestions to da+pg-support@inf.ed.ac.uk, or use the menu command Proof-General -> Submit bug report." nil (unless (or proof-running-on-XEmacs proof-running-on-Emacs21) |