diff options
Diffstat (limited to 'generic')
| -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 ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |