From 5099574ff152bbfa25d3fd8b673a95911fe4bfa9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 7 Jan 2005 14:03:54 +0000 Subject: Mention to check FAQ too --- generic/proof-utils.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'generic') 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 ]"))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3