diff options
Diffstat (limited to 'generic/proof.el')
| -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) |