From f423f145c4f1a35192914ad65f030d215dd5d136 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 16:13:16 +0000
Subject: Add proof-script-syntax-table-entries,
 proof-shell-syntax-table-entries.

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 5639e278..dde147d0 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -1437,6 +1437,20 @@ See also proof-{shell,resp,goals}-font-lock-keywords."
   :type 'sexp
   :group 'proof-script)
 
+(defcustom proof-script-syntax-table-entries nil
+  "List of syntax table entries for proof script mode.
+A flat list of the form
+ 
+  (CHAR SYNCODE CHAR SYNCODE ...)
+
+See doc of `modify-syntax-entry' for details of characters
+and syntax codes.
+
+At present this is used only by the `proof-easy-config' macro."
+  :type 'sexp
+  :group 'proof-script)
+
+
 
 ;;
 ;; Proof script context menu customization
@@ -2254,6 +2268,18 @@ See also proof-{script,resp,goals}-font-lock-keywords."
   :type 'sexp
   :group 'proof-shell)
 
+(defcustom proof-shell-syntax-table-entries nil
+  "List of syntax table entries for proof script mode.
+A flat list of the form
+ 
+  (CHAR SYNCODE CHAR SYNCODE ...)
+
+See doc of `modify-syntax-entry' for details of characters
+and syntax codes.
+
+At present this is used only by the `proof-easy-config' macro."
+  :type 'sexp
+  :group 'proof-shell)
 
 
 ;;
-- 
cgit v1.2.3