diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 7927c22b..0eadcc28 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -397,14 +397,6 @@ Does nothing if proof assistant is already running." (message "Starting %s process... done." proc)))) -(defun proof-associated-buffers () - "Return a list of the associated buffers. -Some may be dead/nil." - (list proof-goals-buffer - proof-response-buffer - proof-trace-buffer - proof-thms-buffer)) - ;; ;; Shutting down proof shell and associated buffers |