diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index af9b50e0..e39837c0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1258,9 +1258,6 @@ ends with text matching `proof-shell-eager-annotation-end'." ((proof-looking-at-safe proof-shell-clear-goals-regexp) (proof-clean-buffer proof-goals-buffer)) - ((proof-looking-at-safe proof-shell-set-elisp-variable-regexp) - (proof-shell-process-urgent-message-elisp)) - ((proof-looking-at-safe proof-shell-match-pgip-cmd) (pg-pgip-process-packet ;; NB: xml-parse-region ignores junk before XML |