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