diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 14:54:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-11 14:54:25 +0000 |
| commit | 712e71d50f6160c3745a9bcee11e63ccc448b831 (patch) | |
| tree | 2053d5197746f921685f2c05659559e2454f0c12 | |
| parent | e61be6cf9f6800d5aaac4e6d65a58e2a648f2143 (diff) | |
Tweaked headings for bug report
| -rw-r--r-- | generic/proof.el | 6 |
1 files changed, 3 insertions, 3 deletions
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) |