From dc8d17bf7586ff880ba6292cb182f2dbd37c98e7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 20 Nov 1998 14:26:20 +0000
Subject: Reimplemented functions to shut down and restart proof process.
 Scrapped proof-shell-exit-hook. Added proof-shell-quit-cmdd,
 proof-shell-restart-comd Fancier Scripting indicator for active scripting
 buffer.

---
 generic/proof.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof.el')

diff --git a/generic/proof.el b/generic/proof.el
index 64f57d1e..5a7c6d9b 100644
--- a/generic/proof.el
+++ b/generic/proof.el
@@ -186,6 +186,7 @@ frame is the one showing the script buffer.)"
       (delete-windows-on buffer t)))
 
 ;; utility function
+;; FIXME da: maybe not used.  Put into spare parts file.
 (defun proof-buffers-in-mode (mode &optional buflist)
   "Return a list of the buffers in the buffer list in major-mode MODE.
 Restrict to BUFLIST if it's set."
-- 
cgit v1.2.3