diff options
| author | David Aspinall | 1998-12-11 14:36:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 14:36:57 +0000 |
| commit | e61be6cf9f6800d5aaac4e6d65a58e2a648f2143 (patch) | |
| tree | 52955ea42ca749e4d7c77f55bbab51d8fc117739 /generic/proof.el | |
| parent | e506cc153e75f22d1875981c80698fc259201db6 (diff) | |
Added proof-submit-bug-report
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index 722f000c..e7f8bd84 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -77,7 +77,8 @@ an error.") "List of files currently included in proof process. Whenever a new file is being processed, it gets added. When the prover retracts across file boundaries, this list -is resynchronised. It contains files in canonical truename format") +is resynchronised. It contains files in canonical truename format. +Only files which have been *fully* processed should be included here.") (defvar proof-script-buffer nil "The currently active scripting buffer or nil if none.") @@ -217,6 +218,21 @@ Restrict to BUFLIST if it's set." (setq bufs-got (cons buf bufs-got)))))) +;; Function for submitting bug reports. +(defun proof-submit-bug-report () + "Submit an bug report or other report for Proof General." + (interactive) + (require 'reporter) + (let + ((reporter-prompt-for-summary-p + "(Very) brief summary of problem or suggestion: ")) + (reporter-submit-bug-report + "proofgen@dcs.ed.ac.uk" + proof-version + (list 'proof-assistant) + nil nil + "When reporting a bug, please include a small test case for us to repeat it."))) + (provide 'proof) ;; proof.el ends here |