From 712e71d50f6160c3745a9bcee11e63ccc448b831 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 Dec 1998 14:54:25 +0000
Subject: Tweaked headings for bug report

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

(limited to 'generic')

diff --git a/generic/proof.el b/generic/proof.el
index e7f8bd84..57ab980e 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -228,10 +228,10 @@ Restrict to BUFLIST if it's set."
 	"(Very) brief summary of problem or suggestion: "))
     (reporter-submit-bug-report
      "proofgen@dcs.ed.ac.uk"
-     proof-version
-     (list 'proof-assistant)
+     "Proof General" 
+     (list 'proof-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.]")))
 
 
 (provide 'proof)
-- 
cgit v1.2.3