diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 6 insertions, 0 deletions
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) |