diff options
| -rw-r--r-- | generic/proof.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof.el b/generic/proof.el index 85c7bca9..f23c21dc 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -513,9 +513,9 @@ No effect if there is no response buffer currently." "Proof General" (list 'proof-general-version 'proof-assistant) nil nil - "[When reporting a bug, please include a small test case for us to repeat it. + "[ 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 file that came with - the distribution, or http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/BUGS]"))) + the distribution, or http://zermelo.dcs.ed.ac.uk/~proofgen/ProofGeneral/BUGS ]"))) |