From 4ac97cb0272b67fa40f95e054350a0e96f4af9a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 20 Mar 2001 17:02:23 +0000
Subject: Remove temporary comments

---
 generic/proof-shell.el | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index d775d285..12d20bbc 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1,17 +1,3 @@
-;; FIXME:
-;;
-;; getting rid of mess with delayed output handling, *but*
-;; we still want to keep a record of the last goals output
-;; found when we hit an error message.
-
-;; Maybe we really need proof-shell-delayed-output and
-;; proof-shell-delayed-output-kind?? 
-;; This might mean we could show some context before an
-;; error message, for example.
-
-
-
-
 ;; proof-shell.el  Proof General shell mode.
 ;;
 ;; Copyright (C) 1994-2000 LFCS Edinburgh. 
-- 
cgit v1.2.3