From 74618ae5a851599477c3e785b7ef1e8abfd8eb51 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Sep 1999 15:49:07 +0000
Subject: Comments

---
 generic/proof-script.el | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 487211cc..2e5b87ae 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1223,6 +1223,9 @@ the proof script."
 ;; query process as to its state as well.  Also unwind protects
 ;; here.
 
+;; FIXME da: this probably belongs in proof-shell, as do
+;; some of the following functions.
+
 (defun proof-interrupt-process ()
   "Interrupt the proof assistant.  Warning! This may confuse Proof General."
   (interactive)
-- 
cgit v1.2.3