From e3ce30cd8eef2462babb9b641b9310b86af2e5c3 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 27 May 1999 19:18:36 +0000
Subject: added proof-string-start-regexp, proof-string-end-regexp;

---
 generic/proof-config.el | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index bf898fc4..b98c531c 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -475,6 +475,18 @@ The script buffer's comment-end is set to this string plus a space."
   :type 'string
   :group 'proof-script)
 
+(defcustom proof-string-start-regexp "\""
+  "Regexp which matches the start of a quoted string in the proof
+assistant command language."
+  :type 'string
+  :group 'proof-script)
+
+(defcustom proof-string-end-regexp "\""
+  "Regexp which matches the end of a quoted string in the proof
+assistant command language."
+  :type 'string
+  :group 'proof-script)
+
 (defcustom proof-case-fold-search nil
   "Value for case-fold-search when recognizing portions of proof scripts.
 The default value is 'nil'.  If your prover has a case *insensitive*
-- 
cgit v1.2.3