From 9f87e6dff68935c451342f9e98ae679ba310fd48 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 12:38:31 +0000
Subject: Added new customization: proof-shell-string-escapes.

---
 generic/proof-config.el | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 09e80077..aecdf09a 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -25,7 +25,7 @@
 ;;  5. Shell mode configuration
 ;;     5a. commands
 ;;     5b. regexps
-;;     5c. hooks
+;;     5c. hooks and others
 ;;  6. Goals buffer configuration
 ;;  7. Splash screen settings
 ;;  8. X-Symbol support
@@ -1454,9 +1454,22 @@ to do syntax highlighting with font-lock."
 
 
 ;;
-;; 5c. hooks and hook-related variables
+;; 5c. hooks and other miscellaneous customizations
 ;;
 
+(defcustom proof-shell-string-escapes '(("\\\\" . "\\\\"))
+  "A list of escapes that are applied for %e substitutions.
+This allows handling some special syntax for commands.
+A list of cons cells, car of which is string to be replaced
+by the cdr.
+For example, when directories are sent to Isabelle or HOL,
+they appear inside ML strings, so the backslash character must
+be escaped.  The setting
+  '((\"\\\\\" . \"\\\\\\\\\"))
+achieves this."
+  :type '(list (cons string string))
+  :group 'proof-shell)
+
 (defcustom proof-shell-process-connection-type 
   ;; Use ptys unless it seems like we're on Solaris.  Only have
   ;; a good chance to guess if shell-command-to-string available.
-- 
cgit v1.2.3