diff options
-rw-r--r-- | generic/proof-shell.el | 14 |
1 files changed, 0 insertions, 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. |