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 ++++++
 generic/proof-shell.el  | 6 ++++++
 2 files changed, 12 insertions(+)

(limited to 'generic')

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)
+
 
 
 
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 8e1d1dc2..478fa103 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -839,6 +839,12 @@ proof-start-queue and proof-shell-exec-loop."
     ;; should not have any CRs.
     (run-hooks 'proof-shell-insert-hook)
 
+    ;; This hook added for Paul Callaghan's instantiation,
+    ;; to remove extra markup used for his "literate"
+    ;; style of input.
+    (and proof-shell-preprocess-command
+	 (setq string (funcall proof-shell-preprocess-command string)))
+
     (insert string)
     (set-marker proof-marker (point))
     (insert proof-shell-insert-space-fudge)
-- 
cgit v1.2.3