From 7b12286b679c7e54f56daf99f10475d8255957b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 22 Nov 1999 12:12:30 +0000
Subject: Fix so clicking on url works in bug report

---
 generic/proof.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic')

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 ]")))
 
 
 
-- 
cgit v1.2.3