From 1c1d856b9265a15d83f245171f4a5af819b1bbb0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 31 Aug 2001 11:30:20 +0000
Subject: Add proof-shell-kill-function-hooks

---
 generic/proof-shell.el | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 9fd176ab..061116c5 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -295,6 +295,11 @@ of the queue region."
 ;;  Shutting down proof shell and associated buffers
 ;;
 
+;; Hooks here are handy for liaising with prover config stuff.
+
+(defvar proof-shell-kill-function-hooks nil
+  "Functions run from proof-shell-kill-function.")
+  
 (defun proof-shell-kill-function ()
   "Function run when a proof-shell buffer is killed.
 Attempt to shut down the proof process nicely and
@@ -356,6 +361,8 @@ exited by hand (or exits by itself)."
       (proof-script-remove-all-spans-and-deactivate)
       ;; Clear state 
       (proof-shell-clear-state)
+      ;; Run hooks
+      (run-hooks 'proof-shell-kill-function-hooks)
       ;; Kill buffers associated with shell buffer
       (if (buffer-live-p proof-goals-buffer)
 	  (progn 
-- 
cgit v1.2.3