diff options
| author | Clément Pit-Claudel | 2021-03-17 01:10:42 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2021-03-17 01:10:42 -0400 |
| commit | 56ee4ebc97e77da7d61eaa7b00580bf4ef5b87d9 (patch) | |
| tree | ed25b120e84450335e95231c2ef58f1a6e7193d7 /generic/proof-shell.el | |
| parent | 8ad13c2735c097238441244123214967be3894a0 (diff) | |
Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexp
Closes GH-557.
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 |