From 3bd5aa94de7f70921ddb570c8ee3281e7d740f78 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Dec 1998 17:29:00 +0000
Subject: Added proof-shell-preprocess-command for Paul Callaghan.

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

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 636f1f1f..1322b1a1 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -889,6 +889,12 @@ output format."
   :type '(cons (function function))
   :group 'proof-shell)
 
+(defcustom proof-shell-preprocess-command nil
+   "Any preprocessing required for a command, e.g. stripping comments.
+This function will be applied to each string sent to the process."
+   :type 'function
+   :group 'proof-shell)
+
 
 
 
-- 
cgit v1.2.3