diff options
| author | David Aspinall | 2005-01-07 14:03:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-01-07 14:03:54 +0000 |
| commit | 5099574ff152bbfa25d3fd8b673a95911fe4bfa9 (patch) | |
| tree | d95eac208493f42b0e77fcd24acd0e68991c3f12 /generic/proof-utils.el | |
| parent | 6443de1a4ad3a427722a0d2f4fd84de7a78813eb (diff) | |
Mention to check FAQ too
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 9ffe32ec..c261af1e 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -760,9 +760,10 @@ or if the window is the only window of its frame." 'x-symbol-version) nil nil "[ 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 files that came with + Please also check that it is not already covered in the BUGS or FAQ files that came with the distribution, or the latest versions at - http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS ]"))) + http://proofgeneral.inf.ed.ac.uk/ProofGeneral/BUGS and + http://proofgeneral.inf.ed.ac.uk/ProofGeneral/FAQ ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |