diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:59:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-09 17:59:32 +0000 |
| commit | 9b5ea46ba8aa5e9abd47cd6c5b3855de5f50068d (patch) | |
| tree | 87b3a0051be8a5d989802255d38f36d2f6258063 /generic/proof-splash.el | |
| parent | 01b70a895f3edb5964eae1695c33030088efdb76 (diff) | |
Update bug report locations
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index fd4ca491..d35edf59 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -43,11 +43,11 @@ Proof General." (concat "(C) LFCS, University of Edinburgh " proof-general-version-year) nil nil -" Please send problems and suggestions to da+pg-support@inf.ed.ac.uk, - or use the menu command Proof-General -> Submit bug report." +" Please report problems at http://proofgeneral.inf.ed.ac.uk/trac + Visit the Proof General wiki at http://proofgeneral.inf.ed.ac.uk/wiki" nil (unless (or proof-running-on-XEmacs proof-running-on-Emacs21) - "For a better Proof General experience, please use XEmacs or Emacs 21.X")) + "For a better Proof General experience, please use GNU Emacs 21 or XEmacs")) "Evaluated to configure splash screen displayed when entering Proof General. A list of the screen contents. If an element is a string or an image specifier, it is displayed centred on the window on its own line. |