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-shell.el | 6 ++++++
 1 file changed, 6 insertions(+)

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

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