From 350e2125f2b2938c61bbc9d01806e18bd8f2d785 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:53:20 +0000
Subject: Added setting for proof-shell-set-elisp-variable-regexp

---
 isa/isa.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isa/isa.el b/isa/isa.el
index 4b1a1580..90067fb1 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -211,6 +211,7 @@ and script mode."
    ;; Some messages delimited by eager annotations
    proof-shell-clear-response-regexp    "Proof General, please clear the response buffer."
    proof-shell-clear-goals-regexp       "Proof General, please clear the goals buffer."
+   proof-shell-set-elisp-variable-regexp "Proof General, please set the variable \\([^ ]+\\) to: #\\([^#]+\\)#\\."
    proof-shell-theorem-dependency-list-regexp    "Proof General, the theorem dependencies are: \"\\([^\"]*\\)\"" 
    
    ;; Dirty hack to allow font-locking for output based on hidden
-- 
cgit v1.2.3