diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-18 12:49:16 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-18 12:49:16 +0000 |
commit | d6501c39e4975a1b34b145a21602b9fb99202e3d (patch) | |
tree | 5c9cc79536981276686b23d5115c0b7042bdb320 /generic/proof-toolbar.el | |
parent | b7da9fdb9ad58a645d399a05a1c75b94733302d3 (diff) |
Reimplemented multiple file proof developments
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 4cd32d51..916ba661 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -206,7 +206,7 @@ without giving error messages." (proof-shell-live-buffer) (not proof-shell-busy) ;; this last check is wrong for pbp buffer! - (eq proof-script-buffer (current-buffer)))) + (eq (car proof-script-buffer-list) (current-buffer)))) (defun proof-toolbar-undo-enable-p () (and (proof-toolbar-process-available-p) |