diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 23:20:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-10 23:20:15 +0000 |
| commit | 55455661fc98b43692b4b3a51aa5ea3b25a3846e (patch) | |
| tree | 555f166388f7729d35c9f9623de5d527046cb8d2 | |
| parent | 72dafc10ea200cb6989e3657aad63d2d50043bd7 (diff) | |
Note trac generic user pgemacs/pgemacs
| -rw-r--r-- | generic/proof-utils.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 6c5b86e0..808247ce 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -787,9 +787,12 @@ or if the window is the only window of its frame." *** *** http://proofgeneral.inf.ed.ac.uk/trac/search *** -*** To see if your bug has been reported already, and a new ticket if not (you need to -*** register first). Please only use this email mechanism instead IF YOU REALLY MUST. -*** The address is not monitored very often. +*** To see if your bug has been reported already, and a new ticket if not. +*** To report a bug, either register yourself as a user, or use the generic account +*** username "pgemacs" with password "pgemacs" +*** +*** Please only continue with this email mechanism instead IF YOU REALLY MUST. +*** The address is not monitored very often and quite possibly will be ignored. *** *** When reporting a bug, please include a small test case for us to repeat it. *** Please also check that it is not already covered in the BUGS or FAQ files that came with |