diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 21:02:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-08 21:02:28 +0000 |
commit | aff2ea4bbb63aff1a85b759e5541e3b7683d9776 (patch) | |
tree | c470def269b803c9421b31700eb3683f556ffdf8 /generic/proof-config.el | |
parent | 1e478c22cda609e91c21a17cf14fa86c05fef42c (diff) |
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize LEGO messages)
Diffstat (limited to 'generic/proof-config.el')
-rw-r--r-- | generic/proof-config.el | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 83c0c4f7..a4b9bb0f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1091,11 +1091,6 @@ in ordinary output, which should appear in this regexp." :type 'regexp :group 'proof-shell) -(defcustom proof-shell-abort-goal-regexp nil - "Regexp matching output from an aborted proof." - :type 'regexp - :group 'proof-shell) - (defcustom proof-shell-error-regexp nil "Regexp matching an error report from the proof assistant. |