From 56ee4ebc97e77da7d61eaa7b00580bf4ef5b87d9 Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Wed, 17 Mar 2021 01:10:42 -0400
Subject: Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexp

Closes GH-557.
---
 generic/proof-shell.el | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'generic/proof-shell.el')

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
-- 
cgit v1.2.3