diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 12:12:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 12:12:30 +0000 |
| commit | 7b12286b679c7e54f56daf99f10475d8255957b7 (patch) | |
| tree | 924368eb8b13b6b069532bd66d8e4f000c3004da /generic/proof.el | |
| parent | 31502b0a082d8181928cd3baf04aa5bccc6c1e2b (diff) | |
Fix so clicking on url works in bug report
Diffstat (limited to 'generic/proof.el')
| -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 ]"))) |